Neden C++, varsayılan değerler için kullanılan ikinci parametre parametrelerine izin vermiyor?

Question

Bu, this question numaralı telefondan bir takiptir. OP sorusundaki kod, bana göre oldukça makul ve açık görünüyordu. böylece, parametrelerin tipleri dönüş türünü belirlemek için kullanılabilir ilan en az C++ 11, Ayrıca

int foo(int a, int b = a); 

: Neden böyle bir şey ikincisi parametrelerin varsayılan değerleri tanımlamak için eski parametreler kullanılarak izin ++ C yapmaz benzer şekilde işlev parametreleri kullanmak duyulmamış değil:

auto bar(int a) -> decltype(a); 

Böylece soru: neden (ler) neden foo yukarıdaki beyanı izin verilmez nelerdir?

Answer 1

Bir şey için, bu a'un b'dan önce değerlendirilmesini gerektirir, ancak C++ (C gibi) işlev parametrelerinin değerlendirme sırasını tanımlamaz.

Hala aşırı yüklenmeye ekleyerek istediğiniz etkiyi elde edebilirsiniz: Aklıma

int foo(int a, int b) 
{ /* do something */ } 

int foo(int a) 
{ return foo(a, a); }