Bir std :: reference_wrapper <T>'u başlatabilir miyim, T tamamlanmamış bir türüdür?

Question

std::reference_wrapper<T>, T 'un T olmadan tamamıyla aynı şekilde tamamlanmasını sağlıyor mu?

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

Ama MSVS 2012 aşağıdaki iletiyle bunu reddeder:

Hata 1 hata C2139: 'atkı': tanımlanmamış bir sınıfı bir şekilde izin verilmez

GCC 4.9 Aşağıdaki kabul bağımsız değişken c '__is_abstract' intrinsik tip özelliği derleyici için: \ Program Files (x 86) \ microsoft Visual Studio 11.0 \ vc \ \ 755 1 Test3

I type_traits içerir Bunun nedeni, op()'un tam tür olması gerektiğinden şüphelenir, ancak iki yol belirtmek için standart görünmez görünür.

Bu uygulamalardan hangisi standart yönergeleri uyguluyorsa?

Answer 1

N3936 § 17.6.4.8 Diğer fonksiyonlar [res.on.functions]: Bazı durumlarda

1 (yedek fonksiyonları, işleyici fonksiyonları standart kütüphane şablon bileşenlerini oluşturmak için kullanılır tipleri üzerindeki operasyonlar), C++ standart kitaplığı bir C++ programı tarafından sağlanan bileşenlere bağlıdır. Bu bileşenler gereksinimlerini karşılamıyorsa, Standart, uygulama ile ilgili hiçbir gereklilik getirmez.

2 Özellikle, etkiler aşağıdaki durumlarda tanımlanmamıştır:

• ...
• şablon bileşeni başlatmasını tamamlanmamış tipi (3.9) ve bir model bağımsız değişken olarak kullanıldığı takdirde, sürece Özellikle bu bileşen için izin verilir.

20.9.3 Sınıf şablonunda reference_wrapper [refwrap] aracılığıyla hızlı tarama reference_wrapper için böyle spesifik istisna, bu nedenle programı tanımlanmamış olan davranış ortaya koymaktadır. Her iki uygulama da uyumludur.