Question

我正在编写一个模板功能进行改组，我想检查一下＆＃39;是否小于＆＃39;在尝试使用之前，运算符在任意数据结构上重载。这可能吗？

Answer 1

我们可以使用Detection Idiom来测试T < T在编译时是否格式正确。

为了便于阅读，我使用experimental::is_detected，但您可以使用voider模式在C ++ 11中自行编写。

首先，它适用于<形成良好的类：

struct Has_Less_Than{
    int value;  
};

bool operator < (const Has_Less_Than& lhs, const Has_Less_Than& rhs) {return lhs.value < rhs.value; }

然后是一个不在的地方：

struct Doesnt_Have_Less_Than{
    int value;
};
// no operator < defined

现在，对于检测习语部分：我们试图得到一个＆＃34;理论＆＃34;的结果的类型。比较，然后问is_detected：

template<class T>
using less_than_t = decltype(std::declval<T>() < std::declval<T>());

template<class T>
constexpr bool has_less_than = is_detected<less_than_t, T>::value;


int main()
{
    std::cout << std::boolalpha << has_less_than<Has_Less_Than> << std::endl; // true
    std::cout << std::boolalpha << has_less_than<Doesnt_Have_Less_Than> << std::endl; // false
}

Live Demo

如果您有C ++ 17可用，则可以利用constexpr if进行测试：

if constexpr(has_less_than<Has_Less_Than>){
    // do something with <
}
else{
    // do something else

}

它的工作原理是因为constexpr if是在编译时计算的，编译器只会编译所采用的分支。

如果你没有C ++ 17可用，你需要使用一个帮助函数，可能带有标记的调度：

template<class T>
using less_than_t = decltype(std::declval<T>() < std::declval<T>());

template<class T>
using has_less_than = typename is_detected<less_than_t, T>::type;

template<class T>
void do_compare(const T& lhs, const T& rhs, std::true_type) // for operator <
{
    std::cout << "use operator <\n";
}

template<class T>
void do_compare(const T& lhs, const T& rhs, std::false_type)
{
    std::cout << "Something else \n";
}

int main()
{
    Has_Less_Than a{1};
    Has_Less_Than b{2};

    do_compare(a, b, has_less_than<Has_Less_Than>{});

    Doesnt_Have_Less_Than c{3};
    Doesnt_Have_Less_Than d{4};
    do_compare(c, d, has_less_than<Doesnt_Have_Less_Than>{});
}

Demo

检查运算符是否在C ++中过载

1 个答案: