如何实现根据 std::to_string 的可用性选择其实现的模板函数？-C++-PHP中文网

如何实现根据 std::to_string 的可用性选择其实现的模板函数？

Linda Hamilton

发布： 2024-11-09 08:25:02

原创

636 人浏览过

How to Implement a Template Function That Selects Its Implementation Based on the Availability of std::to_string?

元编程：根据类型可用性推断函数定义

在模板元编程的上下文中，有必要根据某些标准定义模板。在这个特定场景中，目标是定义一个模板，根据是否为给定类型定义了重载的 to_string 函数来选择其实现。

最初的尝试是使用 is_arithmetic 作为选择标准：

template<typename T> enable_if_t<is_arithmetic<T>::value, string> stringify(T t){
    return to_string(t);
}

登录后复制

但是，to_string 可能不适用于非算术类型，导致需要额外的模板：

template<typename T> enable_if_t<!is_arithmetic<T>::value, string> stringify(T t){
    return static_cast<ostringstream&>(ostringstream() << t).str();
}

登录后复制

定义案例的模板选择标准时出现了挑战其中 to_string 不可用。以下尝试不成功：

template<typename T> enable_if_t<!decltype(to_string(T{})::value, string> (T t){
    return static_cast<ostringstream&>(ostringstream() << t).str();
}

登录后复制

要解决此问题，我们可以利用 Walter Brown 引入的 void_t 类型特征，它允许我们定义一个检查函数是否存在的类型特征：

template <typename...>
using void_t = void;

登录后复制

使用它，我们可以构造所需的类型特征，如下所示：

template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::to_string(std::declval<T>()))>
    > 
: std::true_type { };

登录后复制

使用此类型特征，我们可以随后定义根据可用性选择其实现的模板to_string:

template<typename T> 
auto stringify(T t) 
-> std::enable_if_t<has_to_string<T>::value, std::string> 
{
    return std::to_string(t);
}

template<typename T>
auto stringify(T t)
-> std::enable_if_t<!has_to_string<T>::value, std::string> 
{
    return static_cast<ostringstream&amp;>(ostringstream() << t).str();
}

登录后复制

以上是如何实现根据 std::to_string 的可用性选择其实现的模板函数？的详细内容。更多信息请关注PHP中文网其他相关文章！