关于约束和概念

Question

我真的不明白为什么C++ 20提供这样的功能.我认为这是多余的,是的,我确定我错了,但我需要有人指出我错的原因以及如何优雅地使用这个功能.这是一个例子:

template<typename T>
concept LessCompareable=requires(const T& lhs, const T& rhs)
{
      {lhs<rhs}->bool;
};

现在我已经定义了一个概念.然后我会像这样约束一个函数模板:(好吧,让我们把它命名为comp,实际上就像它一样std::min)

template<typename T>
const T& comp(const T& a , const T& b) requires LessCompareable<T>
{return a<b?a:b;}

所以问题是如果你这样称呼它

std::thread a,b;
cout<<comp(a,b);

complie错误发生

但如果我们不使用约束,CE也会发生.

所以这让我感到困惑,他们都有CE,那为什么我应该使用约束呢？

Answer 1

约束的目的是允许您使用内置语言结构指定操作的前提条件.这些前置条件可以由编译器检查,并且:

1. 您将收到明确的错误消息.
2. 过载分辨率不会考虑过载(是的,还有一种方法可以做SFINAE).

错误信息很好,但是#2的新前置条件检查才是真正的结果.在C++ 20获得相同效果之前你需要做的是这样的:

template<typename T,
         std::enable_if_t<has_less_than_op<T>::value, int> = 0>
const T& comp(const T& a , const T& b) 
{return a<b?a:b;}

它很笨重,而且你需要对SFINAE技术有所了解才能理解为什么会有人写这样的东西.它非常友好.模板已经拥有了这种力量,但这是一个历史巧合.概念(lite)和约束使得能够以更自然的方式表达相同的事物.

将上述内容与您的OP或此进行比较:

template<LessCompareable T>
const T& comp(const T& a , const T& b)
{return a<b?a:b;}

哪种替代方案表达的东西更清晰？我会说,这不是旧技术.