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

在初始值设定项列表中显式调用模板构造函数

在 C 中，不可能在初始值设定项列表中显式调用模板构造函数。考虑以下示例：

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

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

此代码将无法编译，因为 C 标准明确不允许构造函数成员函数模板显式模板参数列表。这是由于构造函数的独特语法造成的，它没有函数名称。

说明： C 标准第 14.8.1/7 节中规定：

“因为显式模板实参列表跟在函数模板名称后面，并且因为转换成员函数模板和构造函数成员函数模板是在不使用函数名的情况下调用的，所以没有办法提供显式模板实参列表。这些函数模板的模板参数列表。”

解决方法： 如果需要在初始值设定项列表中显式调用模板构造函数，则可以使用带有构造函数的自定义类型来采用解决方法接受模板参数作为参数：

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

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

在这种情况下，来自 Boost 库的标识类型或来自 C 的 std::type_identity 20可以用来表示模板参数类型。这允许使用此自定义类型的对象间接调用模板构造函数。

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