C/C++编程：引用限定符

青旅半醒 2022-11-12 09:58 132阅读 0赞

# 问题 #

假设有如下类：

class Tracer{
        
    public:
        Tracer(const char *text):m_text(text){
        
            printf("%s constructed!\n", m_text.c_str());
        }
        Tracer(const Tracer & rhs):m_text(rhs.m_text){
        
            printf("%s constructed!\n", m_text.c_str());
        }
        ~Tracer(){
        
            printf("%s destructed!\n", m_text.c_str());
        }
        Tracer &operator+=(const Tracer& rhs){
        
            if(this != &rhs){
        
                m_text += rhs.m_text;
            }
            return  *this;
        }
        void setTest(const char *text){
        
            printf("%d => %s\n", m_text.c_str(), text);
            m_text = text;
        }
        void output(){
        
            printf("%s output!\n" , m_text.c_str());
        }
    private:
        string m_text;
    };
    
    Tracer operator +(const Tracer &lhs, const Tracer &rhs){
        
        Tracer sum = lhs;
        sum += rhs;
        return sum;
    }

对于如下函数：

Tracer t1("Hello");
        Tracer t2("cpp");
        t1.output();
        t2.output();
        printf("-----------------\n");
        (t1 + t2).output();
        printf("-----------------\n");

输出如下：

![在这里插入图片描述][20210323213208982.png]

分析：首先创建了一个临时对象，输出之后立即被销毁。这个对象是一个右值，通过对右值调用对象方法可以得到正确的输出。如果我们的目的是输出的话，没有问题

上面的例子中对一个右值调用了`output`方法，看起来很自然，但是调用其他函数就不一定这么自然了。比如下面例子：

Tracer t1("Hello");
        Tracer t2("cpp");
        t1.output();
        t2.output();
        printf("-----------------\n");
        (t1 + t2).setTest("How about setText");
        printf("-----------------\n");

输出如下：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poaXpoZW5nZ3Vhbg_size_16_color_FFFFFF_t_70]

可以看出结果不是我们想要的：虽然setText方法被正常调用，但是这个对象马上被销毁了而无法访问。换句话说这是一段无效代码。

# 引用限定符 #

目的很简单，就是希望**加一个限制，使得右值对象不能调用setText方法**。手段也很简答，只要在方法签名后面加一个`&`，就可以**通知编译器，这个函数只对左值（引用）有效**：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poaXpoZW5nZ3Vhbg_size_16_color_FFFFFF_t_70 1]  
添加了引用限定以后，代码就会产生编译错误。

另外：

*  添加引用限定符的位置也是添加const, noexcept的位置，如果需要同时添加的话，引用限定符需要在const之后，noexcept之前。
 *  也可以通过添加“&&”要求方法只对右值使用

[20210323213208982.png]: /images/20221022/d6b96ddaa12d4ecbbf79fe7619bbccbb.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poaXpoZW5nZ3Vhbg_size_16_color_FFFFFF_t_70]: /images/20221022/d0676480591a43928539d57775200981.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poaXpoZW5nZ3Vhbg_size_16_color_FFFFFF_t_70 1]: /images/20221022/889c0050714d43e9ad95b2f9cb01cdf5.png