如何在没有编译器警告的情况下返回对空字符串的 const 引用？

Question

我有一个 std::unordered_map<int, std::string> 和一个函数 GetString(int key)，它接受一个 int 键并从此映射返回一个字符串值。

当在地图中找不到键时，我必须返回一个空字符串。

#include <iostream>
#include <string>
#include <unordered_map>

std::unordered_map<int, std::string> map
{
    { 5, "somelongstring" }
};

const std::string& GetString(int key)
{
    auto iterator = map.find(key);
    if (iterator == map.end())
    {
        return "";
    }

    return iterator->second;
}

int main()
{
    std::cout << GetString(1) << std::endl;
}

问题是编译器给了我这个警告

warning C4172: returning address of local variable or temporary

（使用 MS Visual Studio 2013）或

warning: returning reference to temporary [-Wreturn-local-addr]

（使用 g++ 4.9.2）

我发现摆脱这种情况的一种方法是在顶部声明 static const std::string 并返回它而不是空字符串文字

static const std::string Empty = "";

const std::string& GetString(int key)
{
    auto iterator = map.find(key);
    if (iterator == map.end())
    {
        return Empty;
    }

    return iterator->second;
}

但是定义一个空字符串字面量似乎不是很干净。有没有一种巧妙的方法来做到这一点？

更新：我的地图在启动期间被初始化一次，然后从多个线程同时读取（使用GetString）。使用函数静态空字符串不起作用，因为函数静态变量在 Visual Studio 的编译器下没有以线程安全的方式初始化。

Answer 1

警告消息明确说明了问题所在：您正在返回一个局部变量 (""") 的地址，该变量将在函数返回后从堆栈中释放。返回 std::string 会很好，因为您将在函数局部变量之外构造一个新字符串，但是当您返回 std::string& 时，您确实使用了局部变量。

但是当您返回一个静态值时，只需将其设为静态即可：

const std::string& GetString(int key)
{
    static const string empty = "";
    auto iterator = map.find(key);
    if (iterator == map.end())
    {
        return empty;
    }

    return iterator->second;
}

Answer 2

我会将返回类型更改为std::string（因此返回空字符串是可以的）或std::string *（返回nullptr 表示未找到）。

否则编译器是对的：你不能返回对即将被销毁的本地对象的引用