c – 对没有参数的可变参数模板函数的不明确调用？

发布时间：2020-12-16 10:08:06 所属栏目：百科来源：网络整理

导读：运行时： template typename Tstruct CodeByType{ static const int32_t Value = 7;};template struct CodeByTypeint{ static const int32_t Value = 1;};template typename Arg,typename... Argsint32_t Sum(){ // The compiler complains on this line ret

运行时：

template <typename T>
struct CodeByType
{
    static const int32_t Value = 7;
};

template <>
struct CodeByType<int>
{
    static const int32_t Value = 1;
};

template <typename Arg,typename... Args>
int32_t Sum()
{
    // The compiler complains on this line
    return Sum<Arg>() + Sum<Args...>();
}

template <typename Arg>
int32_t Sum()
{
    return CodeByType<Arg>::Value;
}

int main()
{
    auto sum = Sum<int,char,double>();
}

我越来越：

Error C2668 ‘Sum’: ambiguous call to overloaded function

有人可以解释为什么以及如何克服它？

这看起来非常类似于下面的代码,它编译,所以我想它与Sum有关,不接受任何实际参数.

template <typename T>
T adder(T first) {
    return first;
}

template<typename T,typename... Args>
T adder(T first,Args... rest) {
    return first + adder(rest...);
}

int main()
{
    auto sum = adder(1,7);
}

解决方法

如果您将代码简化为：

Sum<int>();

您会收到更有用的错误消息：

06001

因此更清楚的是,在第一次重载与Args =<>之间存在过载模糊性.第二个.两者都是可行的.

人们可能会认为解决方案的专业化：

template <typename Arg>
int32_t Sum<Arg>()
{
    return CodeByType<Arg>::Value;
}

如果标准允许,这确实可以解决问题.不允许使用部分功能.

C 17解决方案：

这是最优雅的解决方案：

constexpr if救援：

template <typename Arg,typename... Args>
int32_t Sum()
{
    if constexpr(sizeof...(Args) == 0)
      return CodeByType<Arg>::Value;
    else
      return Sum<Arg>() + Sum<Args...>();
}

C 14解决方案

我们使用SFINAE来启用/禁用我们想要的功能.请注意,必须颠倒函数定义顺序.

template <typename Arg,typename... Args>
auto Sum() -> std::enable_if_t<(sizeof...(Args) == 0),int32_t>
{
      return CodeByType<Arg>::Value;
}


template <typename Arg,typename... Args>
auto Sum() -> std::enable_if_t<(sizeof...(Args) > 0),int32_t>
{
      return Sum<Arg>() + Sum<Args...>();

}

C 11解决方案

只需替换std :: enable_if_t<>使用typename std :: enable_if<> :: type

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!