Używanie nazwy parametru w jego domyślnej wartości - czy jest legalne?

Question

enum class E { 
    One, 
    Two 
}; 

void foo(E value = decltype(value)::One) { 
} 

Może być skompilowany z Clang (3.9), ale nie można go skompilować z GCC 6.1: value was not declared in this scope.

Jaki kompilator ma rację?

Answer 1

Według [basic.scope.pdecl]/1:

Punktem deklaracji o podanie nazwy jest natychmiast po jej całkowitym declarator (punkt 8) i przed jego initializer (jeśli występują), z wyjątkiem opisane poniżej.

Tak więc parametr jest zadeklarowany w tym miejscu. Jak o użyciu go w decltype? Sformułowanie było nieaktualne i nieumyślnie je odrzuciło. Zobacz core issue 2082:

Według 8.3.6 [dcl.fct.default] pkt 9,

domyślny argumentem jest oceniana za każdym razem gdy funkcja jest wywoływana z żaden argument dla odpowiedniego parametru. Kolejność oceny argumentów funkcji jest nieokreślona. W związku z tym parametry funkcji nie będą używane w domyślnym argumencie, nawet jeśli nie zostaną ocenione. Ta zakazuje wykorzystania parametrów w unevaluated argumentów, np,

void foo(int a = decltype(a){}); 

Sformułowanie poprzedza koncepcję z „unevaluated argumentów” (wyrażenie „nie ocenia” odnosi się do połączeń do funkcji, gdzie rzeczywiste argumentów jest dostarczany, a zatem domyślny argument nie jest używany, a nie niezaktualizowany operand) i nie powinien mieć zastosowania w takich przypadkach.

Więc quoted paragraph został zmieniony, aby przeczytać

parametr nie powinien pojawić się jako potencjalnie oceniano ekspresję w domyślnym argumentem.

Ponieważ operandy decltype są nieocenione, teraz jest to w porządku, a GCC jest błędne.