c++ - 如何防止优化掉静态常量

Question

是否可以使用编译器命令行选项来防止静态常量成员优化？

这是一个例子:

template <unsigned v1>
struct TRAITS {
    static const unsigned val1 = v1;
};

template < class TRAITS >
struct foo {
    static const unsigned x1 = TRAITS::val1;
};

int main () {
    foo<TRAITS<1>> f1;
    // SET BREAKPOINT HERE
    return 0;
}

编译:

g++ -g -O0 optimize_out.cpp

GDB:

gdb a.out
(gdb) break optimize_out.cpp:13
(gdb) r
(gdb) p f1 
$1 = {static x1 = <optimized out>}

这段代码的特殊之处在于类是模板。可能 C++ 标准中有某些东西强制编译器优化字段，即使使用 -O0 也是如此？当我不使用模板时，值不会被优化掉:

struct foo {
    static const unsigned x1 = 1;
};

在这种情况下，我可以在调试器中看到 x1

Answer 1

您可以使用 used 属性告诉编译器发出定义，即使它不需要任何东西:

template <unsigned v1>
struct TRAITS {
    static const unsigned val1 [[gnu::used]] = v1;
};

template < class TRAITS >
struct foo {
    static const unsigned x1 [[gnu::used]] = TRAITS::val1;
};

或者，您可以添加静态变量的外联定义(如果您对它们进行 ODR 使用，无论如何都需要)并将属性添加到这些定义中:

template < class TRAITS >
  const unsigned foo<TRAITS>::x1 [[gnu::used]];

template <unsigned v1>
  const unsigned TRAITS<v1>::val1 [[gnu::used]];