Kann ich ein std :: reference_wrapper <T> instanziieren, wobei T ein unvollständiger Typ ist?

Question

Erlaubt std::reference_wrapper<T> zulassen, dass T unvollständig ist, in der gleichen Weise, wie eine T& behandelt werden kann, ohne T abgeschlossen zu sein?

GCC 4.9 übernimmt die folgenden:

#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!) 
} 

Aber MSVS 2012 lehnt es mit der folgenden Meldung:

Fehler 1 Fehler C2139: 'Wuff': eine undefinierte Klasse wird nicht als erlaubt Argument Merkmal intrinsischen Typ Compiler '__is_abstract' c: \ Programme (x86) \ Microsoft Visual Studio 11.0 \ vc \ include \ type_traits 755 1 test3

I vermute, dies ist, weil die op() den vollständigen Typ benötigt, aber der Standard nicht erscheint, um jeden Weg anzugeben.

Welche der folgenden Implementierungen entspricht den Standardmandaten?

Answer 1

N3936 § 17.6.4.8 Weitere Funktionen [res.on.functions]:

1 In bestimmten Fällen (Ersatzfunktionen, Handler-Funktionen, verwendeten Operationen auf Typen Standardbibliothek Vorlage Komponenten zu instanziiert), Die C++ - Standardbibliothek hängt von Komponenten ab, die von einem C++ - Programm bereitgestellt werden. Wenn diese Komponenten nicht ihren Anforderungen entsprechen, stellt der Standard keine Anforderungen an die Implementierung.

2 Insbesondere werden die Wirkungen in den folgenden Fällen nicht definiert:

• ...
• wenn ein unvollständiger Typ (3,9) als Template-Argument wird verwendet, wenn eine Vorlage Komponente instanziiert wird, es sei denn, speziell für diese Komponente erlaubt.

Ein schneller Scan durch 20.9.3 Vorlage Klasse reference_wrapper [refwrap] zeigt keine solche spezifische Ausnahme für reference_wrapper, so dass Ihr Programm nicht definiertes Verhalten hat. Beide Implementierungen sind konform.