使用C++20概念清洁的静态界面-C/C++问题

Clean static interface with C++20 concepts(使用C++20概念清洁的静态界面)

本文介绍了使用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>;
};

Demo

我认为我们可以通过调整帮助器来摆脱非final约束。

这篇关于使用C++20概念清洁的静态界面的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！