为什么我无法显式调用 C 初始化程序列表中的模板构造函数？

C 中的显式模板构造函数调用

在 C 中，不可能在初始值设定项列表中显式调用模板构造函数。这是由于模板参数使用的特定语法所致，模板参数遵循函数模板名称，而不是在构造过程中包含在括号中。

如 C 标准 (14.8.1/7) 中所述：

[注意：因为显式模板实参列表跟在函数模板名称后面，并且因为转换成员函数模板和构造函数成员函数模板在调用时不使用函数名，所以没有办法为这些功能模板。 ]

因此，以下示例将不起作用：

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

struct U {
    U() : t<void>() {} //does not work
    T t;
};

在这种情况下，编译器将尝试解释 t;作为基类类型，将无法找到匹配的默认构造函数。

解决方法

要解决此限制，可以使用一个函数模板，该模板采用身份类型作为参数：

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

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

给出以下身份定义Boost:

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

或者，在 C 20 中，使用 std::type_identity:

using ::std::type_identity;

这种方法有效地允许将模板参数传递给初始化列表中的构造函数。

以上是为什么我无法显式调用 C 初始化程序列表中的模板构造函数？的详细内容。更多信息请关注PHP中文网其他相关文章！