模板函数重载中的MSVC2015 decltype参数类型

罗斯·本西纳

以下程序兼容C ++ 11吗？如果是这样，您是否知道触发它的特定MSVC错误？和/或可能的解决方法？

#include <iostream>

struct A {};
struct B {};

constexpr A aaa = {};
constexpr B bbb = {};

template <typename T>
void foo(T, decltype(aaa)) { std::cout << "a"; }

template <typename T>
void foo(T, decltype(bbb)) { std::cout << "b"; }
// ^ C2995 'void foo(T,unknown-type)': function template has already been defined

int main()
{
    foo(0, aaa);
    foo(0, bbb);
}

如果用实际的类型代替decltype它就可以了，但是在实践中，这些类型太复杂而无法重现，我不希望它们没有别名。

紫罗兰色长颈鹿

经过以下较小修改即可为我工作（VS 2015 / v140）：

#include <iostream>

struct A {};
struct B {};

constexpr A aaa = {};
constexpr B bbb = {};

using A_type = decltype(aaa);
using B_type = decltype(bbb);

template <typename T>
void foo(T, A_type) { std::cout << "a"; }

template <typename T>
void foo(T, B_type) { std::cout << "b"; }

int main()
{
    foo(0, aaa);
    foo(0, bbb);
}

但是此变体会产生相同的错误（不确定该怎么做）：

template <typename T>
struct TypeWrapper {
    using type = T;
};

template <typename T>
void foo(T, typename TypeWrapper<decltype(aaa)>::type) { std::cout << "a"; }

template <typename T>
void foo(T, typename TypeWrapper<decltype(bbb)>::type) { std::cout << "b"; }

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。