成员类作用域中的引用

reference in member class scope

本文关键字：引用 作用域 成员类      更新时间：2023-10-16

我遇到了这段代码，它对于输入"bad"无法正常工作，我知道原因，但我不明白。我想问题是在创建对象时。你们能给我解释一下吗？

--编辑。对不起，我把 & 放在了它没有的地方。const std：：string& _badString;--> 这就是问题所在。如果使用参数"bad"运行它，则会捕获异常，但是在打印应该是"bad"的字符串时，它只会打印垃圾。

#include <iostream>
#include <string>
namespace
{
    const std::string bad = "bad";
}
class MyException
{
    const std::string& _badString;
public:
    MyException(const std::string& s):
    _badString(s)
    {
    }
    auto badString() const
    {
        return _badString;
    }
};

template<typename Arg>
void interpretArg(Arg arg)
{
    if (arg == bad)
    {
         throw MyException(arg);
    }
}
int main(int argc, char** argv)
{
    for (int i = 0; i < argc; ++i)
    {
        try
        {
            interpretArg(argv[i]);
        }
        catch(const MyException& e)
        {
            std::cerr << "badString: " << e.badString() << std::endl;
        }
    }
}

引用本质上充当别名。这意味着，除非您将引用分配给另一个对象，否则编译器不会无处可寻到指定的信息。在您的问题中，字符串对象没有被分配给另一个对象，而是被分配了一个字符串文字。简而言之，引用的行为类似于计算机文件系统中的快捷方式，因此当您使用快捷方式时，它实际上将使用快捷方式链接到的文件的信息（警告不是一个完美的比较）。然而，这不是一个完美的类比，因为引用只是充当计算机内存中同一点的第二个名称。

const std::string& bad = "bad";

考虑下图，其中两个变量共享相同的内存地址，因此本质上是相同的变量。不能为引用赋值，因为尚未为其指定地址。

正确：

                     / var_name1
0x756 < ------------/
^^ address in memory
                      &var_name2 = var_name1; // Copying address.

不對：

                          / "some_string"
no_address < ------------/
^^ address in memory     
                           &var_name2 = "some_string"; // Assigning string
                                                        // Instead of an
                                                        // address.

注意：编译器不会同时使用这两个变量，而是将这两个变量替换为可在运行时填充值的单个对象的数字地址。

编辑：值得注意的是，使用const std::string &good = "hello";是完全可以的，因为编译器认识到该值不会更改并给出good它自己的地址。

相关文章：