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

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

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

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

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

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

template<typename t> enable_if_t::value, string> stringify(T t){
    return static_cast<ostringstream>(ostringstream() <p>定义案例的模板选择标准时出现了挑战其中 to_string 不可用。以下尝试不成功：</p>
<pre class="brush:php;toolbar:false">template<typename t> enable_if_t (T t){
    return static_cast<ostringstream>(ostringstream() <p>要解决此问题，我们可以利用 Walter Brown 引入的 void_t 类型特征，它允许我们定义一个检查函数是否存在的类型特征：</p>
<pre class="brush:php;toolbar:false">template <typename...>
using void_t = void;</typename...>

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

template<typename t typename="void">
struct has_to_string
: std::false_type { };

template<typename t>
struct has_to_string<t void_t>()))>
    > 
: std::true_type { };</t></typename></typename>

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

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

template<typename t>
auto stringify(T t)
-> std::enable_if_t::value, std::string> 
{
    return static_cast<ostringstream>(ostringstream() </ostringstream></typename></has_to_string></typename>

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