时间戳

首页 > 解决方案 > 没有 enable_if 的表达式 SFINAE？

c++ - 没有 enable_if 的表达式 SFINAE？

问题描述

我写了一个程序如下

#include <iostream>
#include <vector>
#include <string>

using namespace std;

template <typename T>
auto serialize(const T& t) -> decltype(to_string(t))
{
    return to_string(t);
}

template <typename T>
auto serialize(const T& t) -> string
{
    return "<object>";
}


int main()
{
    cout<<serialize(4)<<endl;
    cout<<serialize(vector<int>())<<endl;
    return 0;
}

当程序类型受支持时to_string，我希望使用第一个模板。但是如果不支持 by 类型to_string，那么我希望使用第二个模板。

我喜欢看到以下结果

4
<object>

但是当我编译程序时，出现以下错误

main.cpp: In function ‘int main()’:
main.cpp:22:19: error: call of overloaded ‘serialize(int)’ is ambiguous
  cout<<serialize(4)<<endl;
                   ^
compilation terminated due to -Wfatal-errors.

我实际上不能责怪编译器。如何在不使用enable_ifor的情况下消除这种歧义enable_if_t？通过 SFINAE 和表达式保持程序简单。其实decltype(to_string(t))很清楚。但是，类型没有not或otherwise运算符。

标签： c++templatessfinae

解决方案

您可以使用额外的参数来优先考虑您的重载：

template <std::size_t N> struct OverloadPriority : OverloadPriority<N -1> {};
template <> struct OverloadPriority<0> {};

template <typename T>
auto serialize_impl(const T& t, OverloadPriority<1>) -> decltype(to_string(t))
{
    return to_string(t);
}

template <typename T>
auto serialize_impl(const T& t, OverloadPriority<0>) -> std::string
{
    return "<object>";
}

template <typename T>
decltype(auto) serialize(const T& t)
{
    return serialize_impl(t, OverloadPriority<1>{});
}

演示

推荐阅读