是否有C++编译器警告或Linting工具可检测概念约束类型调用未定义方法？

首先是定义的can_meow概念：

template<class T> concept can_meow = requires (T t){
   t.meow();
};

给定上述概念，当调用如下代码中的anim.woof()时，能否触发类似‘can_meow does not define woof’的警告？

void func(can_meow auto& anim){
    anim.woof(); // 是否会在此处触发警告？
}

回答 #

答案是：取决于编译器和启用的警告配置

• 标准C++没有强制要求编译器针对这种场景发出警告。can_meow概念只规定了类型必须具备meow()成员函数，但并不限制类型拥有其他成员（比如woof()）。编译器无法判断你是不是有意调用一个可能存在于符合概念的类型上的额外成员。
• 部分编译器在开启特定警告选项后，可能会检测到这类“概念未约束的成员调用”并给出提示。比如Clang或GCC的一些警告开关，但这类警告默认不会开启，也没有专门匹配该场景的标准警告信息。
• 如果你想严格限制类型只能有meow()，可以修改概念来排除woof()的存在，但这通常不是合理的设计——概念的作用是定义类型需要满足的条件，而非禁止额外成员。

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