C嵌套SFINAE模板产生编译错误

Question

我正在尝试为自定义模板类创建一个加法运算符，其中第一个参数可以是我的类的实例，也可以是基本的数字类型。My operator的定义类似于下面的示例代码：

#include <type_traits>

template<typename T>
struct MyTemplateStruct {
    T val;
};

template<typename T, typename U>
struct MyCommonType {
    typedef std::common_type_t<T, U> type;
};
template<typename T, typename U>
using MyCommonTypeT = typename MyCommonType<T, U>::type;

template<typename T, typename U>
MyTemplateStruct<MyCommonTypeT<T, U>> operator +(
    MyTemplateStruct<T> const& a, MyTemplateStruct<U> const& b)
{
    return { a.val + b.val };
}

template<typename T, typename U>
MyTemplateStruct<MyCommonTypeT<T, U>> operator +(
    T const a, MyTemplateStruct<U> const& b)
{
    return { a + b.val };
}

int main()
{
    MyTemplateStruct<double> a{ 0 }, b{ 0 };
    a = a + b;

    return 0;
}

我的预期是，由于SFINAE，试图用T=MyTemplateStruct实例化第二个运算符定义时产生的编译错误

/usr/include/c /7/type_traits：替换模板

如果我在操作符定义中直接使用std:：common_type_t，而不是使用我的包装器模板MyCommonTypeT，那么SFINAE会像我预期的那样工作，并且没有错误。当我必须在另一个模板中包装对std:：common_type的调用时，如何编译上述代码？




Answer 1

你需要做MyCommonTypeT

template<typename T, typename U>
struct MyCommonType {
    typedef std::common_type_t<T, U> type;
};
template<typename T, typename U>
struct MyCommonType<MyTemplateStruct<T>, U> {};
template<typename T, typename U>
struct MyCommonType<T, MyTemplateStruct<U>> {};

居住