C++ invoke explicit template constructor

by

It’s not possible. The Standard also has a note on this at 14.8.1/7

[Note: because the explicit template argument list follows the function template name, and because conversion member function templates and constructor member function templates are called without using a function name, there is no way to provide an explicit template argument list for these function templates. ]

Explanation: This says: Template arguments are passed in angle brackets after a function template name, such as std::make_pair<int, bool>. And constructors don’t have a name of their own, but they abuse their class names in various contexts (so U<int>() means: Pass <int> to the class template U, and construct an object by calling the default constructor without arguments). Therefore, one cannot pass template arguments to constructors.

In your case, you are trying to pass template arguments in a member initializer. In that case, there’s even more of a problem: It will attempt to parse and interpret t<void> as a base-class type and thinks you want to call the default constructor of a base class. This will fail, of course.

If you can live with it, you can work it around

struct T { 
    template<class U> T(identity<U>);
};

struct U {
    U() : t(identity<void>()) {}
    T t;
};

Given identity like it’s defined in boost

template<typename T> struct identity { typedef T type; };

Within C++20 you can use std::type_identity as identity type.

More Related Contents:

  1. Templated check for the existence of a class member function?
  2. How does `void_t` work
  3. using extern template (C++11)
  4. Does C++ support compile-time counters?
  5. SFINAE working in return type but not as template parameter
  6. C++ function template partial specialization?
  7. Why is the template argument deduction not working here?
  8. How does this template magic determine array parameter size?
  9. Specifying one type for all arguments passed to variadic function or variadic template function w/out using array, vector, structs, etc?
  10. using std::is_same, why my function still can’t work for 2 types
  11. How to write a type trait `is_container` or `is_vector`?
  12. Explicit specialization in non-namespace scope does not compile in GCC
  13. Can you make custom operators in C++?
  14. Identifying primitive types in templates
  15. Is there any difference between “T” and “const T” in template parameter?
  16. C++ convert integer to string at compile time
  17. How to know if a type is a specialization of std::vector?
  18. C++ : friend declaration ‘declares a non-template function
  19. Specify template parameters at runtime
  20. Lambda expressions as class template parameters
  21. Do c++ templates make programs slow?
  22. Using export keyword with templates
  23. How to make a variadic is_same?
  24. Understanding (simple?) C++ Partial Template Specialization
  25. Default template parameter partial specialization
  26. std::remove_const with const references
  27. Does reinterpret_cast lead to undefined behavior?
  28. How to check if a template parameter is an iterator type or not?
  29. Will I be able to declare a constexpr lambda inside a template parameter?
  30. C++ template function default value

Leave a Comment