如何显式调用 C 初始化列表中的模板构造函数？

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

在初始值设定项列表中显式调用模板构造函数可能是 C 中的一个挑战。尽管提供了示例：

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

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

该方法失败，因为它尝试错误地解释语法。根据 C 标准（14.8.1/7），“因为显式模板参数列表跟在函数模板名称后面，并且因为转换成员函数模板和构造函数成员函数模板在不使用函数名称的情况下调用，所以没有办法为这些函数模板提供显式模板参数列表。”

这意味着不可能将模板参数直接传递给构造函数。但是，存在一种解决方法：

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

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

在这种情况下，标识类型通过中介有效地将模板参数传递给构造函数。

或者，在 C 20 及更高版本中，您可以使用 std::type_identity 类型：

struct T { 
    template<class U> T(std::type_identity<U>);
};

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

通过利用这些解决方法，您可以有效地显式初始化模板构造函数尽管存在 C 标准所施加的限制，但在初始值设定项列表中。

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