结构体元素弃用警告问题：仅需在元素被引用时触发警告

期望仅当结构体中的弃用元素被直接引用时才触发弃用警告，但当前场景下，即使未直接访问该元素，只要调用了编译器隐式生成的复制构造函数（比如返回结构体对象时），就会触发弃用警告。

用例代码 #

头文件 my_options.hpp #

#ifndef MY_OPTIONS_H
#define MY_OPTIONS_H

#define DEPRECATED __attribute__((deprecated))

struct MyOptions {
    int fee;
    int fie;
    int foe;
    DEPRECATED int foo;
};

#endif

主程序代码 tester.cpp #

#include <optional>

#include "my_options.hpp"

static MyOptions
genOptions()
{
    MyOptions rval;
    rval.fee = 1;
    rval.fie = 2;
    rval.foe = 3;
    return rval;     // <= 警告触发点：隐式复制构造函数
}

int
main()
{
    MyOptions options = genOptions();

    return 0;
}

编译警告信息 #

$ c++ -Wall -o tester tester.cpp
In file included from tester.cpp:3:
./my_options.hpp:6:8: warning: 'foo' is deprecated [-Wdeprecated-declarations]
struct MyOptions {
       ^
tester.cpp:12:12: note: in implicit copy constructor for 'MyOptions' first required here
    return rval;
           ^
./my_options.hpp:10:5: note: 'foo' has been explicitly marked deprecated here
    DEPRECATED int foo;
    ^
./my_options.hpp:4:35: note: expanded from macro 'DEPRECATED'
#define DEPRECATED __attribute__((deprecated))
                                  ^
tester.cpp:18:15: warning: unused variable 'options' [-Wunused-variable]
    MyOptions options = genOptions();
              ^
2 warnings generated.

以下几种方式可以实现「仅直接访问废弃成员时触发警告」的需求：

方法1：将废弃成员封装到嵌套结构体 #

把foo放到单独的嵌套结构体中，只有访问该嵌套结构体的成员时才触发警告，复制整个MyOptions对象不会触发：

#ifndef MY_OPTIONS_H
#define MY_OPTIONS_H

#define DEPRECATED __attribute__((deprecated))

struct MyOptions {
    int fee;
    int fie;
    int foe;
    struct DEPRECATED DeprecatedFields {
        int foo;
    } deprecated;
};

#endif

此时只有代码中出现options.deprecated.foo这类直接访问时，才会触发弃用警告。

方法2：自定义复制构造函数 #

显式编写MyOptions的复制构造函数，避免编译器生成的隐式版本检查废弃成员：

struct MyOptions {
    int fee;
    int fie;
    int foe;
    DEPRECATED int foo;

    // 自定义复制构造函数，显式复制成员
    MyOptions(const MyOptions& other) 
        : fee(other.fee), fie(other.fie), foe(other.foe) {
        // 若需要保留foo的复制，用const_cast避免触发警告
        foo = const_cast<MyOptions&>(other).foo;
    }

    // 配套自定义赋值运算符以保持语义一致
    MyOptions& operator=(const MyOptions& other) {
        if (this != &other) {
            fee = other.fee;
            fie = other.fie;
            foe = other.foe;
            foo = const_cast<MyOptions&>(other).foo;
        }
        return *this;
    }
};

这种方式下，隐式复制操作会调用自定义构造函数，不会触发弃用警告，只有直接访问foo时才会告警。

方法3：临时抑制特定位置的警告 #

在触发警告的代码段附近，临时关闭-Wdeprecated-declarations警告：

static MyOptions
genOptions()
{
    MyOptions rval;
    rval.fee = 1;
    rval.fie = 2;
    rval.foe = 3;
    // 临时抑制弃用警告
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
    return rval;
#pragma GCC diagnostic pop
}

该方式适合快速解决特定场景的问题，但需要逐个修改触发警告的位置。

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