C++, szablonowe aliasy typów - wyjaśnienie dziwnego błędu.

Question

Witam, problem jest bardzo krótki i myślę że nie ma co się rozpisywać  ;)

A więc to ( fragment mojego kodu ) działa:

AST_Program_Ptr prog = std::make_unique<Composition>(
		std::make_unique<Assign>("a", std::make_unique<Constant>(10)),
		std::make_unique<Write>("a")
	);

A to już nie:

template <typename T> using TP = std::unique_ptr<T>;

// (...)

AST_Program_Ptr prog = TP<Composition>(
		TP<Assign>("a",TP<Constant>(10)),
		TP<Write>("a")
	);

mam taki komunikat błędu:
Błąd    C2440    "<function-style-cast>": nie można konwertować z "initializer list" na "std::unique_ptr<Composition,std::default_delete<_Ty>>"   

Nie zbyt rozumiem co ma tu kompilator "na myśli", przecież ja tylko zastosowałem alias zamiast pełnej nazwy...

Z góry dziękuje za pomoc.

Answer 1

W pierwszym przypadku masz make_unique, to szablon funkcji, która tworzy obiekt i zwraca inteligentny wskaźnik.

A w drugim masz unique_ptr, nie tworzysz obiektów na które wskaźnik ma wskazywać.

TP<Write>("a") to std::unique_ptr<Write>("a"), czyli  rzutujesz tablicę znaków na inteligentny wskaźnik, to nie ma sensu.

Comments

Nie mam zielonego pojęcia jak mogłem tego nie zauważyć...

* A tak się jeszcze zapytam, da się zrobić alias na szablon funkcji? Bo umiem robić wskaźniki na funkcje, ale nie na szablonowe.

Zacząłem tak:

template <typename T> T (*M_ptr)(void);

i nie wiem co dalej, zależy mi żeby funkcje wywołać tak: M_ptr<Typ>(arg...)

a ten sposób raczej nie zadziała:

template <typename T> T(*M_ptr)(void) = std::unique_ptr<T>;

 

---

nie ma aliasów na szablony funkcji, ale da się zrobić szablon forwardujący:

template<class T, class... Args>
auto f(Args&&... args)
{
    return std::make_unique<T>(std::forward<Args>(args)...);
}

i teraz std::make_unique<T> możesz zastąpić przez f<T>