Czy jest to niedozwolone pobranie nieregularnego elementu struct struct 'sizeof` w szablonie klasy?

Question

W brzękiem/llvm 3.6.2 następujące wyniki w kod błędu kompilacji podczas kompilacji z std=c++11: linia

template <typename T=void> 
class bar 
{ 
public: 
    struct foo 
    { 
     int array[10]; 
    }; 

    int baz() 
    { 
     return sizeof(foo::array); 
    } 
}; 

int main(void) 
{ 
    bar<> b; 
    return b.baz(); 
} 

poleceń inwokacja:

$ clang++ -std=c++11 nonstatic.cpp -o nonstatic 
nonstatic.cpp:12:28: error: invalid use of non-static data member 'array' 
     return sizeof(foo::array); 
         ~~~~~^~~~~ 
nonstatic.cpp:20:14: note: in instantiation of member function 
'bar<void>::baz' requested here 
    return b.baz(); 

Gdybym nie zmieni bar być szablon, jak w

class bar 
{ 
public: 
    struct foo 
    { 
     int array[10]; 
    }; 

    int baz() 
    { 
     return sizeof(foo::array); 
    } 
}; 

int main(void) 
{ 
    bar b; 
    return b.baz(); 
} 

wtedy kod kompiluje się czysto. Uwaga: GCC 5.2.1 akceptuje obie wersje pod numerem std=c++11. Warto również zauważyć, że przeniesienie array do szablonu szablonu klasy otaczającej (ale pozostawiając go jako szablonu) powoduje również, że klang to akceptuje.

Jakie zachowanie jest prawidłowe w stosunku do normy? Czy jest to błąd w GCC, klangu lub obu?

(Pytałem tego samego question o użytkowników cfe, ale jak dotąd nie otrzymałem żadnej odpowiedzi).

Answer 1

Jest to z pewnością błąd klang; operand twojego wyrażenia sizeof jest id-expression oznaczający niestatyczny element danych, więc [expr.prim.general]/13 posiada. Oto zmniejszona przykład:

template<class T> struct M { int f() { return sizeof(T::x); } }; 
struct S { int x; }; 
int main() { return M<S>{}.f(); } 

Eksponaty błędów przy utrzymaniu członek typu jest dostępne w unevaluated kontekście ramach metody instancji szablonu. Implementacja Clanga n2253 rule enabling the use of non-static data members in unevaluated context (i późniejsze ulepszenia) wydaje się dość krucha i źle współpracuje z szablonami; podobny (choć odrębny) błąd to http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20151019/141535.html.

Nie mogę znaleźć żadnego wskazania, że ​​zostało to już zgłoszone Clang Bugzilla; możesz chcieć otworzyć nowy błąd.

W zależności od sytuacji, obejścia mogą obejmować przenoszenie statycznego typu i obliczeń wartości poza metodą instancji; w szczególności funkcja baz jest wystarczająca, aby przekonać klang do zaakceptowania twojego kodu.