Nie zadeklarowana zmienna w obiekcie domyślnie konstruowanym w konstruktorze

Question

Powyższy kod nie działa. Rzeczywiście domyślny skonstruowany obiekt f w konstruktorze Foo skarży się, że wartość val nie została zadeklarowana w zakresie. Nie rozumiem, dlaczego nie zostało to zadeklarowane.

struct Foo2 
{ 
    Foo2(int val) 
    {} 
}; 

struct Foo 
{ 
    Foo(int val, Foo2 f = Foo2(val)) 
    {} 
}; 

int main() 
{ 
    Foo f(1); 
    return 0; 
} 

Answer 1

Zgodnie z C++ Standard (8.3.6 Domyślne argumenty):

9 Domyślne argumenty są oceniane za każdym razem t on nazywa się funkcja. Kolejność oceny argumentów funkcji jest nieokreślona. W związku z tym parametry funkcji nie mogą być używane w domyślnym argumencie , nawet jeśli nie są analizowane. Parametry funkcji zadeklarowanej przed domyślnym argumentem są w zakresie i mogą ukrywać nazwy i nazwy członków klasy.

W dowolnym C++ (nie tylko C++ 2014) można przeciążać konstruktora. Na przykład

struct Foo 
{ 
    Foo(int val) 
    { Foo2 f(val); /*...*/ } 
    Foo(int val, Foo2 f) 
    {} 
}; 

Albo można użyć przekazał mu uprawnienia konstruktora (jeśli kompilator obsługuje nowy standard)

struct Foo 
{ 
    Foo(int val) : Foo(val, Foo2(val)) 
    {} 
    Foo(int val, Foo2 f) 
    {} 
}; 

Answer 2

Tak właśnie działa język; Domyślne argumenty nie mogą zależeć od innych parametrów, ponieważ kolejność ich inicjalizacji pozostaje nieokreślona.

w C++ 11 lub później, można obejść ten problem z przeciążeniem:

Foo(int val) : Foo(val, Foo2(val)) {} 

Answer 3

struct Foo2 
{ 
    int x; 
    Foo2(int val): x(val) {} 
}; 

struct Foo 
{ 
    int y; 
    Foo2 f2; 
    Foo(int val, Foo2 f): y(val), f2(f) {} 
    Foo(int val): y(val), f2(val) {} 
}; 

int main() 
{ 
    Foo f(1); 
} 

Answer 4

Można używać szablonów, aby rozwiązać ten:

struct Foo2 
{ 
    Foo2(int val) 
    {} 
}; 

template <int val> 
struct Foo 
{ 
    Foo(Foo2 f = Foo2(val)) 
    {} 
}; 

int main() 
{ 
    Foo<1> f = Foo<1>(); 
    return 0; 
}