Question

我有一个大致相同的程序。

#include <iostream>
#include <type_traits>

class Output
{
public:
    template <typename T>
    Output& operator&(T const& t)
    {
        std::cout << t << std::endl;

        return *this;
    }
};

class Input
{
public:
    template <typename T>
    Input& operator&(T& t)
    {
        std::cin >> t;

        return *this;
    }
};

class C
{
    public:
        int num1, num2;
};

template <typename T>
typename std::enable_if<std::is_same<T, Input>::value>::type operator&(T& t, C& c)
{
    t & c.num1 & c.num2;
}

template <typename T>
typename std::enable_if<std::is_same<T, Output>::value>::type operator&(T& t, C& c)
{
    t & c.num1 & c.num2;
}

int main()
{
    Output o;
    Input i;
    C c;

    i & c;
    o & c;

    return 0;
}

效果很好，但理想情况下我希望将功能typename std::enable_if<std::is_same<T, Input>::value>::type operator&(T& t, C& c)和typename std::enable_if<std::is_same<T, Output>::value>::type operator&(T& t, C& c)结合起来。所以我正在寻找像typename std::enable_if<std::is_same<T, Input>::value || std::is_same<T, Output>::value>>::type operator&(T& t, C& c)这样的东西。 C ++模板是否提供了这样的＆＃39;或＆＃39;声明？

Answer 1

答案非常简单 - 使用|| - 正是您在问题中所拥有的。 enable_if的第一个参数是bool，因此您可以使用任何产生编译时布尔值的表达式组合。

template <typename T>
typename std::enable_if<
    std::is_same<T, Input>::value ||
    std::is_same<T, Output>::value
>::type operator&(T& t, C& c)
{
    t & c.num1 & c.num2;
}

Live demo

或C ++模板编程中的声明

1 个答案: