Czy można utworzyć instancję std :: reference_wrapper <T> gdzie T jest niekompletnym typem?

Question

Czy std::reference_wrapper<T> może być niekompletne, tak jakby można było załatwić bez zakończenia?

GCC 4.9 akceptuje następujące:

#include <functional> 

struct woof; 

struct test 
{ 
    test(woof& w) : w(w) {} 
    std::reference_wrapper<woof> w; 
}; 

struct woof 
{ 
    int a; 
}; 

int main() 
{ 
    woof w; 
    test t = w; // (braced-init would be better, but VS2012!) 
} 

Ale MSVS 2012 odrzuca go z następującym komunikatem:

Error 1 error C2139: 'hau': niezdefiniowany klasa nie jest dozwolony jako Argument typu kompilator wewnętrzną cechę '__is_abstract' c: \ program files (x86) \ Microsoft visual studio 11.0 \ VC \ include \ type_traits 755 1 test3

I podejrzewasz, że jest tak, ponieważ op() potrzebuje pełnego typu, ale standard nie wyświetla jako, aby określić którykolwiek sposób.

Które z tych implementacji spełnia standardowe mandaty?

Answer 1

N3936 § 17.6.4.8 Inne funkcje [res.on.functions]:

1 W niektórych przypadkach (funkcje zamiennych, funkcjach obsługi, operacje na typach stosowanych do instancji standardowych komponentów Template Library), biblioteka standardowa C++ zależy od komponentów dostarczanych przez program C++. Jeśli te komponenty nie spełniają swoich wymagań, Standard nie nakłada żadnych wymagań dotyczących realizacji.

2 W szczególności, efekty nie są zdefiniowane w następujących przypadkach:

• ...
• jeśli niekompletna typu (3,9) stosuje się jako matrycę argumentu przy uruchamianiu element szablonu chyba specjalnie dozwolone dla tego składnika.

Szybkie skanowanie przez 20.9.3 klasy szablonu reference_wrapper [refwrap] ujawnia żadnego takiego szczególnego wyjątku dla reference_wrapper, więc program niezdefiniowane zachowanie. Obie implementacje są zgodne.