Nie można skopiować std :: wektor <std :: function <void()>> za pomocą jednolitej inicjalizacji. Czy to jest poprawne?

Question

Poniższy kod nie kompiluje w GCC 4.7.2 lub Clang 3.2:

#include <vector> 
#include <functional> 

int main() 
{ 
    std::vector<std::function<void()>> a; 
    std::vector<std::function<void()>> b{a}; 
} 

Problem jest, że kompilator będzie próbował tworzyć b stosując initializer_list, gdy wyraźnie powinno być po prostu wywołanie konstruktora kopii. Jednak wydaje się, że to pożądane zachowanie, ponieważ standard mówi, że konstruktory initializer_list powinny mieć pierwszeństwo.

Kod ten działałby dobrze dla innych std :: vector, ale dla funkcji std :: kompilator nie może wiedzieć, czy chcesz konstruktor initializer_list czy inny.

Nie wygląda na to, że istnieje sposób obejścia tego, a jeśli tak jest, to nigdy nie można użyć jednolitej inicjalizacji w kodzie szablonowym. Co byłoby wielkim wstydem.

Z drugiej strony Visual Studio (2012 CTP w listopadzie) nie narzeka na to. Jednak obsługa initializer_list nie jest w tym momencie zbyt dobra, więc może to być błąd.

Answer 1

To jest LWG 2132, który nie jest jeszcze raportem o usterkach, ale istnieje wyraźna zgoda (i doświadczenie wdrożeniowe), aby to naprawić. Standard mówi, że konstruktor std::function zaakceptuje dowolny typ, więc ponieważ konstruktor listy inicjalizacyjnej jest zawsze preferowany względem innych konstruktorów, jeśli jest to wykonalne, twój kod próbuje zbudować wektor z obiektu std::initializer_list<std::function<void()>> z pojedynczym elementem zainicjowanym z obiektu a. To powoduje błąd, ponieważ pomimo tego, że można skonstruować obiekt std::function<void()> z a, wynikowy obiekt nie jest możliwy do wywołania.

Innymi słowy, problem polega na tym, że std::function ma nieograniczony konstruktor szablonu, który umożliwia konwersję z dowolnego typu. To powoduje problem w twoim przypadku, ponieważ konstruktory listy inicjalizacyjnej są preferowane w stosunku do innych konstruktorów, jeśli są wykonalne, a konstruktor nieograniczony function oznacza, że ​​zawsze można utworzyć initializer_list<function<void()>> z dowolnego typu, aby konstruktor listy inicjalizującej był zawsze wykonalny.

Proponowana rezolucja do 2132 uniemożliwia skonstruowanie std::function z typu niewymienialnego, więc konstruktor listy inicjalizacyjnej nie jest opłacalny, a zamiast tego wywoływany jest konstruktor kopii vector. I implemented that resolution for GCC 4.8, i to jest już zaimplementowane w bibliotece libC++ Clanga.

Answer 2

Nie widzę żadnego powodu, dla którego to nie powinno się skompilować i zarówno gcc (wersja 4.8.0 20121111) jak i clang (wersja 3.3 (trunk 171007)) kompilują kod. To powiedziawszy, "jednolita inicjalizacja" jest daleka od jednolitości: Zdecydowanie są przypadki, w których nie można używać nawiasów klamrowych podczas wywoływania konstruktora.