返回对静态成员的引用时出现“警告 C4172：返回局部变量或临时地址”

Question

我有一个带有返回值的函数的类。由于复杂的原因，需要将该值作为const 引用返回。

（最小的工作示例包含一个int 数组，实际代码有更复杂的对象，因此参考）

class Foo
{
public:
    static constexpr const int OUT_OF_BOUNDS_VALUE = -9999;
    const int& ret(int i) const { return i < 0 || i > 4 ? OUT_OF_BOUNDS_VALUE : test[i]; }

private:
    int test[5] = {0, 1, 2, 3, 4};
};

这在 VS2015 中给了我warning C4172: returning address of local variable or temporary，它甚至不能用 GCC 编译。

• 在Foo 之外添加行constexpr const int Foo::OUT_OF_BOUNDS; 可以让GCC 编译得很好。 VS2015 仍然给出警告。
• 删除 constexpr 并从定义中拆分声明可修复警告，但我为什么必须这样做？

OUT_OF_BOUNDS 不是本地的，也不是临时的，对吧？在类定义里面定义和声明的时候没有地址吗？

实时查看警告：https://godbolt.org/z/fv397b9rr

Answer 1

问题是在 C++11 中，我们必须为类的 static constexpr 声明添加相应的定义数据成员。这在下面有更详细的解释：

C++11

class Foo
{
public:
    static constexpr const int OUT_OF_BOUNDS_VALUE = -9999; //THIS IS A DECLARATION IN C++11 and C++14
    //other members here
};

在上面的代码sn-p(这是C++11,C++14)中，我们有一个声明类中的静态数据成员OUT_OF_BOUNDS_VALUE。因此，在恰好一个翻译单元中，我们必须提供相应的定义。否则你会得到一个链接器错误，可以看到here。

也就是说，我们应该在一个翻译单元中写：

constexpr const int Foo::OUT_OF_BOUNDS;//note no initializer

C++17

class Foo
{
public:
    static constexpr const int OUT_OF_BOUNDS_VALUE = -9999; //THIS IS A DEFINITION IN C++17
    //other members here
};

在上面的代码 sn-p（用于C++17）中，我们在类中有一个静态数据成员OUT_OF_BOUNDS_VALUE 的定义。因此，从 C++17 开始，我们不必在其他任何地方提供OUT_OF_BOUNDS_VALUE 的定义，因为我们已经在类中对其进行了定义。

---

您收到的 MSVC 警告似乎是一个错误。

Answer 2

当您在函数中使用constexpr 时会发生什么情况，即会创建一个临时本地实例。您可以尝试在静态成员 OUT_OF_BOUNDS 的声明中省略 constexpr 和 static，这样您就有了一个可以引用的 const 对象/实例。

编辑： 如果您必须有一个静态成员，请将其声明为 const static int 并将定义 const int Foo::OUT_OF_BOUNDS = -1; 放在适当的位置。

Answer 3

test[i] 是一个int，您将它绑定到返回语句中对const int 的引用。没有？