使用 C++20 概念清洁 static 接口

Question

我试图使用 C++20 概念创建一个 static 接口，以下代码似乎可以完成这项工作：

template <class FOO>
concept FooConcept = requires {
    static_cast<void (FOO::*)(int)>(&FOO::operator());
    static_cast<void (FOO::*)(char)>(&FOO::operator());
};

特别是，如果FooConcept两次重载operator() ，则 class FOO满足 FooConcept ：分别使用int参数和char参数。

这个解决方案似乎工作正常，但看起来并不漂亮。 事实上，我会更喜欢以下 forms：

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>;

但是，由于隐式转换，这些方法不起作用（请参阅这篇文章）。 有没有更好、更“语义”的方式来表达这种约束？

Answer 1

使用一些助手和非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约束。