C 元编程中如何实现基于函数缺失的模板选择？

元编程：基于函数重载的模板选择

在 C 元编程中，根据类型属性有条件地定义模板函数是一种常见技术。然而，在某些情况下，定义相反的场景可能具有挑战性，即根据特定功能的缺失来选择模板。

具体来说，在提供的示例中，目标是定义一个模板在两个实现之间进行选择的函数 stringify：

• 如果为给定类型定义了 std::to_string，则使用 to_string(t) 将值转换为string.
• 如果没有为该类型定义 std::to_string，请使用 ostringstream()

当试图表达后一个条件时就会出现问题。以下不成功的尝试尝试使用嵌套的enable_if模板来检查to_string是否未定义：

要解决这个问题，我们可以利用Walter Brown的void_t类型特征：

使用它，我们可以将 has_to_string 特征定义为如下所示：

现在，可以使用基于 has_to_string 特征的条件模板专门化来定义 stringify 模板：

此解决方案根据是否有效地选择 stringify 的适当实现std::to_string 是为给定类型定义的。

以上是C 元编程中如何实现基于函数缺失的模板选择？的详细内容。更多信息请关注PHP中文网其他相关文章！