使用C++20概念清洁的静态界面 [英] Clean static interface with C++20 concepts
本文介绍了使用C++20概念清洁的静态界面的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
我试图使用C++20概念创建一个静态接口,下面的代码似乎可以完成这项工作:
template <class FOO>
concept FooConcept = requires {
static_cast<void (FOO::*)(int)>(&FOO::operator());
static_cast<void (FOO::*)(char)>(&FOO::operator());
};
具体地说,FooConcept
由一个类FOO
满足,如果这样的类重载operator()
两次:分别使用int
参数和char
参数。
这个解决方案似乎工作得很好,但看起来并不漂亮。事实上,我会更喜欢以下形式:
template <class FOO>
concept FooConcept = requires (FOO foo, int i, char c) {
{ foo(i) } -> std::same_as<void>;
{ foo(c) } -> std::same_as<void>;
};
或
template <class FOO>
concept FooConcept = std::invocable<FOO, int> && std::invocable<FOO, char>;
但是,由于隐式转换,这些方法不起作用(请参阅this post)。
是否有更好、更具语义性的方式来表达此约束?
推荐答案
使用一些帮助器和非final
类,您可以:
template <typename T>
struct DeletedOperator : T
{
using T::operator ();
template <typename ... Ts>
void operator()(Ts&&...) = delete;
template <typename ... Ts>
void operator()(Ts&&...) const = delete;
};
template <class FOO>
concept FooConcept = requires (DeletedOperator<FOO> foo, int i, char c) {
{ foo(i) } -> std::same_as<void>;
{ foo(c) } -> std::same_as<void>;
};
我认为我们可以通过调整帮助器来摆脱非final
约束。
这篇关于使用C++20概念清洁的静态界面的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文