能否将C++20 Concepts用作多态接口？如何避免概念与代码不一致？

你希望将Concept当作纯虚类的接口使用，确保模板函数内部只能调用Concept中声明的成员，避免因忘记更新Concept而导致实例化时才出现错误。当前写法中，模板调用未在Concept中声明的bar()时，仅在实例化无bar()的类型时才报错，无法提前发现问题。

问题根源 #

Concept的核心作用是约束模板参数的准入条件——只有满足Concept规则的类型才能作为模板参数传入，但模板内部代码遵循C++延迟实例化规则：只有当模板被具体类型实例化时，才会检查内部代码是否适配该类型。因此，模板内部调用未在Concept中声明的成员，不会在模板定义阶段报错，只会在实例化不支持该成员的类型时触发替换错误。

解决方案 #

方法1：使用Concept包装器类（推荐） #

创建一个严格对应Concept接口的包装器类，模板函数内部仅通过该包装器访问对象。这样，任何超出Concept约束的调用都会在模板定义阶段直接报错，因为包装器只暴露Concept要求的成员。

#include <concepts>
#include <iostream>

template <typename T>
concept IFoo = requires(T t) {
    { t.foo() } -> std::convertible_to<int>;
};

// 严格匹配IFoo接口的包装器
template<IFoo T>
struct FooWrapper {
    const T& obj;

    // 仅暴露IFoo要求的成员
    int foo() const {
        return obj.foo();
    }
};

class FooImpl {
public:
    int foo() const { return 3; }
};

template <IFoo Foo>
void doSomething(const Foo& foo) {
    FooWrapper<Foo> wrap{foo};
    std::cout << wrap.foo() << "\n";
    std::cout << wrap.bar() << "\n"; // 编译阶段直接报错：'FooWrapper<Foo>' 没有成员 'bar'
}

int main() {
    FooImpl foo;
    doSomething(foo);
    return 0;
}

方法2：在模板requires子句中补充所有操作 #

如果不想使用包装器，可以在模板的requires子句中明确列出所有用到的操作，确保只有支持所有操作的类型才能传入。这种方法需要同步维护模板的requires子句，但能在参数准入阶段就拦截不符合要求的类型。

#include <concepts>
#include <iostream>

template <typename T>
concept IFoo = requires(T t) {
    { t.foo() } -> std::convertible_to<int>;
};

class FooImpl {
public:
    int foo() const { return 3; }
};

template <typename Foo>
void doSomething(const Foo& foo) requires IFoo<Foo> && requires(Foo f) {
    f.bar(); // 补充对bar()的约束
} {
    std::cout << foo.foo() << "\n";
    std::cout << foo.bar() << "\n";
}

int main() {
    FooImpl foo;
    doSomething(foo); // 准入阶段直接报错：FooImpl不满足约束（无bar()）
    return 0;
}

补充：Concept的真正价值 #

Concept并非用来替代纯虚类的接口强制，它的核心优势在于：

• 灵活的约束能力：支持非成员函数、隐式转换适配、多Concept组合等复杂规则；
• 友好的错误提示：当类型不满足Concept约束时，编译器会直接指出未满足的条件，而非实例化时的一堆晦涩替换错误；
• 编译期优化：编译器可利用Concept约束进行更精准的代码优化；
• 可验证的文档：Concept本身是机器可验证的接口规则，比注释更可靠（至少在参数准入阶段能有效拦截不符合要求的类型）。

内容的提问来源于stack exchange，提问作者Max Willich