使用clang-tidy时Modern C++出现矛盾警告的问题

我正在学习Modern C++，按照Jason Turner的建议使用VSCode 1.73.1内置的Clang，开启--checks=*（仅禁用llvmlibc-*规则）进行代码检查，在实现单例模式的getInstance函数时遇到了矛盾警告：

1. 初始代码触发modernize-use-trailing-return-type警告，要求使用尾随返回类型：

namespace some::own::implementations {

  Example* Example::getInstance() { // <-- 警告触发位置
    static Example _instance;
    return &_instance;
  }

} //  namespace some::own::implementations

2. 改为尾随返回类型后，又触发fuchsia-trailing-return警告，禁止使用尾随返回类型：

namespace some::own::implementations {

  auto Example::getInstance() -> Example* { // <-- 警告触发位置
    static Example _instance;
    return &_instance;
  }

} //  namespace some::own::implementations

针对以上问题，逐一解答如下：

1. 关于modernize和fuchsia规则的理解 #

• modernize-use-trailing-return-type属于Clang-Tidy的现代化规则集，核心目的是推广Modern C++风格，让函数返回类型定义更直观（尤其适合复杂返回类型场景），属于风格层面的建议，鼓励使用auto -> 返回类型的写法。
• fuchsia-trailing-return是Fuchsia操作系统专属编码规则，明确禁止使用尾随返回类型，是Fuchsia项目特有的代码规范约束，并非通用Modern C++规则。
  你遇到的矛盾本质是不同场景规则的冲突：一个是通用现代化风格建议，一个是特定项目的强制规范。

2. 这类矛盾警告出现在教学工具中是否合理？ #

合理，但要明确--checks=*的本质：开启所有规则意味着同时加载了通用风格、特定项目（如Fuchsia、LLVM）、甚至嵌入式场景的规则，这些规则原本就不是为同一套使用场景设计的。教学中出现这种情况反而能帮你理解：不存在"绝对正确"的代码规范，不同场景下的规则优先级和要求完全不同。

3. 学习Modern C++时应遵循哪种检查规则体系？ #

绝对不要用--checks=*，这会引入大量无关规则导致混乱。推荐选择模块化的规则集：

• 优先启用modernize-*：专门为Modern C现代化设计的规则，覆盖从C11到最新标准的写法优化。
• 搭配cppcoreguidelines-*：C核心指南对应的规则，是行业公认的现代C最佳实践。
• 禁用特定场景规则：比如fuchsia-*、llvmlibc-*这类特定项目规则，学习阶段完全不需要开启。
  示例启动命令可设置为：--checks=modernize-*,cppcoreguidelines-*,-llvmlibc-*

4. 该函数的正确实现方式是什么？ #

从Modern C++角度，有几种更优雅且合规的实现：

方式一：保留尾随返回类型（符合modernize规则） #

如果遵循现代化风格，尾随返回类型写法完全合规，只需禁用fuchsia-trailing-return规则即可：

namespace some::own::implementations {

  auto Example::getInstance() -> Example* {
    static Example _instance;
    return &_instance;
  }

}

方式二：返回引用（更安全的现代写法） #

单例更推荐返回引用，避免指针空指针风险，同时C++11及以后标准中，static局部变量初始化是线程安全的：

namespace some::own::implementations {

  auto Example::getInstance() -> Example& {
    static Example _instance;
    return _instance;
  }

}

调用时直接使用Example::getInstance().xxx()，无需处理指针，代码更安全简洁。

方式三：constexpr单例（C++17及以后） #

如果单例是无状态的，可使用constexpr初始化，完全在编译期完成实例化：

class Example {
public:
  static constexpr Example& getInstance() noexcept {
    static constexpr Example instance{};
    return instance;
  }
};

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