其实呢，C++ Concepts本身是靠鸭子类型隐式匹配的——只要你的类满足概念定义的所有要求，它就自动符合这个概念，不需要专门写代码“指定”。但如果你想在类声明/定义阶段，主动验证并明确标注这个类必须符合某个概念，除了你用的外部static_assert，确实有更优雅的实现方式：

1. 将验证逻辑嵌入类内部（更内聚） #

把static_assert放在类的定义里，让验证逻辑和类本身绑定在一起，不仅更清晰，还能在类定义的阶段就触发检查，一旦类的成员修改导致不符合概念，编译时会立刻报错：

#include <set>
#include <forward_list>
using namespace std;

template<typename C>
concept SizedContainer = requires (C c){
    c.begin();
    c.end();
    {c.size()} -> size_t;
};

class MyContainer{
public:
    void begin(){};
    void end(){};
    size_t size(){return 42;};
    
    // 在类内部验证自身符合SizedContainer概念
    static_assert(SizedContainer<MyContainer>, "MyContainer必须满足SizedContainer概念");
};

// 外部验证其他标准容器
static_assert(SizedContainer<std::set<int>>);
static_assert(!SizedContainer<std::forward_list<int>>);
static_assert(!SizedContainer<float>);

int main() { }

这种方式的好处是，类的维护者一眼就能看到这个类的约束要求，逻辑更内聚，不会把验证代码散落在类外部。

2. 用概念直接约束模板类（针对模板场景） #

如果你的类是模板类，那直接在模板参数上用概念约束就好了——这是最自然的写法，相当于在声明阶段就明确要求模板参数必须满足指定概念，连static_assert都省了：

template<SizedContainer C>
class MyTemplateContainer {
    // 类的具体实现
};

// 合法：std::set<int>满足SizedContainer
MyTemplateContainer<std::set<int>> valid_instance;
// 编译错误：std::forward_list<int>不满足SizedContainer，编译器会直接报错
// MyTemplateContainer<std::forward_list<int>> invalid_instance;

编译器会自动帮你验证模板参数是否符合概念，代码简洁又安全。

3. 显式特化概念（谨慎使用） #

如果你有特殊需求，需要强制指定某个类满足概念（哪怕它原本不符合概念的要求），可以显式特化概念，但这种方式非常不推荐——它会破坏Concepts的鸭子类型语义，容易导致运行时问题，只有在极端场景下才考虑：

// 强制让MyContainer满足SizedContainer，即使它的成员不符合要求
template<>
concept SizedContainer<MyContainer> = true;

总结 #

最优雅且安全的方式，针对非模板类就在类内部嵌入static_assert，针对模板类就直接用概念约束模板参数——既能清晰标注类的约束，又能在编译早期验证类是否符合要求。

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