c – 关于约束和概念

我真的不明白为什么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,那为什么我应该使用约束呢?

解决方法

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

>您将收到明确的错误消息.
>过载分辨率不会考虑过载(是的,还有一种方法可以做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;}

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

相关文章

文章浏览阅读315次。之前用C语言编过链表,这几天突然想用C+...
文章浏览阅读219次。碰到问题就要记录下来,防止遗忘吧。文章...
文章浏览阅读1.8k次,点赞11次,收藏37次。因为自己对决策树...
文章浏览阅读492次。C++ 设计模式之策略模式
文章浏览阅读683次。我也算是个C++的小白,对于C++中的谓语我...
文章浏览阅读225次。又看了一遍操作符的东西,感觉之前对操作...