如何让C++派生类成员遮蔽基类成员时触发编译错误？

我有如下C++基类结构体：

struct Sentence
{
    std::string raw;
    Status      status;
};

希望实现：当派生类定义与基类同名的成员时，直接触发编译错误或警告。比如下面的代码中，NMEA_RMC定义了和基类Sentence同名的status成员，我希望编译器能报错或警告：

struct NMEA_RMC : public Sentence
{
    UtcTime rmc_utc;
    char    status;
};

我尝试过的方案 #

方案一：私有成员+get/set方法 #

我曾试图通过修改成员可见性解决问题，代码如下：

struct Sentence
{
    std::string raw;

private:
    Status status;

public:
    const Status& getStatus() const { return status; }
    void setStatus(const Status& newStatus) { status = newStatus; }
};

但这种方法无法阻止派生类定义同名的char status成员，派生类的同名成员依然能正常编译。

方案二：派生类中显式引入基类成员 #

我还尝试了在派生类中使用using声明引入基类的status成员：

struct NMEA_RMC : public Sentence
{
    using Sentence::status;

    int  rmc_utc;
    char status;
};

这种写法确实会触发编译错误：

conflicts with a previous declaration
但它并不优雅，因为需要在所有派生类中对每一个基类成员都执行这样的操作，工作量太大。

可行解决方案 #

方法一：编译器警告升级为错误 #

主流编译器都提供了检测成员遮蔽的警告选项，只需开启这些警告并将其升级为错误，就能强制阻止这类代码编译：

• GCC/Clang：编译时添加-Wshadow -Werror=shadow参数，前者开启遮蔽警告，后者将该警告升级为错误。
• MSVC：使用/W4 /we4456参数，/W4开启包含成员遮蔽的等级4警告，/we4456单独将"成员遮蔽基类成员"的C4456警告升级为错误；也可用/WX将所有警告升级为错误。

这种方法无需修改代码，仅调整编译选项，是最简单直接的方案。

方法二：CRTP+编译期检查（C++20及以上） #

如果需要从代码层面强制约束，可以使用**奇异递归模板模式（CRTP）**结合C++20的requires表达式，在编译时检查派生类是否存在同名成员：

#include <type_traits>

template<typename Derived>
struct Sentence
{
    std::string raw;
    Status status;

protected:
    Sentence() {
        // 编译期检查：派生类不能定义名为status的成员
        static_assert(!requires(Derived d) { d.status; }, 
                      "派生类禁止定义名为'status'的成员");
    }
};

// 合法派生类示例
struct ValidNMEA : public Sentence<ValidNMEA> {
    UtcTime rmc_utc;
};

// 非法派生类示例（会触发编译错误）
struct InvalidNMEA : public Sentence<InvalidNMEA> {
    UtcTime rmc_utc;
    char status; // 编译时触发static_assert报错
};

这种方法要求派生类以Sentence<Derived>的形式继承基类，通过static_assert在编译阶段直接阻断非法代码，从代码层面实现强制约束。

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