Clang-Tidy的cppcoreguidelines-avoid-const-or-ref-data-members检查是否过严？

问题核心 #

Clang-tidy的cppcoreguidelines-avoid-const-or-ref-data-members检查依据C++核心准则C.12（禁止在可拷贝/移动类型中使用const或引用成员），但会对已显式删除所有拷贝/移动操作的类中的const成员触发警告，这属于工具实现的假阳性。

合理性分析 #

C.12的设计初衷是避免可拷贝/移动类型因const/引用成员导致的语义问题：

• const成员会隐式禁用拷贝赋值运算符，导致类型语义不一致（能拷贝构造却不能赋值）
• 引用成员会引发浅拷贝、悬垂引用等风险

但你的类已经通过=delete完全禁用了拷贝和移动，不存在准则要防范的场景，因此这个警告是不合理的。

是否应该移除const？ #

不建议盲目移除，理由如下：

• const是编译期的强约束，能确保类内部不会意外修改someSetup，比“不写setter”的代码规范更可靠
• 移除const会丢失语义信息，后续维护者无法直观判断该成员是否应该被修改

如果只是为了消警告而移除const，反而牺牲了代码的安全性和可读性。

解决警告的可行方案 #

方案1：局部禁用检查 #

在类定义前添加Clang-tidy的抑制指令，精准消除该假阳性：

// NOLINTNEXTLINE(cppcoreguidelines-avoid-const-or-ref-data-members)
class Foo // simplified
{
public:
    explicit Foo(int someSetup) : someSetup{someSetup} {}
    ~Foo() = default;
    Foo(const Foo&) = delete;
    Foo(Foo&&) = delete;
    Foo& operator=(const Foo&) = delete;
    Foo& operator=(Foo&&) = delete;
    void someMethods();
private:
    std::condition_variable someCondition;
    const int someSetup;
    int someState {};
};

方案2：全局配置排除场景 #

在项目的.clang-tidy配置文件中，为该检查添加规则，忽略已删除拷贝/移动操作的类：

Checks: 'cppcoreguidelines-avoid-const-or-ref-data-members'
CheckOptions:
  - key: cppcoreguidelines-avoid-const-or-ref-data-members.IgnoreClassesWithoutCopyMove
    value: 'true'

（注：不同版本的Clang-tidy可能支持不同的配置选项，需确认版本兼容性）

方案3：替代方案（不推荐） #

如果不想保留const成员，可以将其改为私有非const，并提供只读的getter方法：

class Foo
{
public:
    explicit Foo(int someSetup) : someSetup{someSetup} {}
    ~Foo() = default;
    Foo(const Foo&) = delete;
    Foo(Foo&&) = delete;
    Foo& operator=(const Foo&) = delete;
    Foo& operator=(Foo&&) = delete;
    void someMethods();
    
    int getSomeSetup() const { return someSetup; }
private:
    std::condition_variable someCondition;
    int someSetup;
    int someState {};
};

这种方式虽然能避免警告，但丢失了编译期对内部修改的约束，仅适合确实需要后续修改该成员的场景。

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