39-逗号操作符的分析

注：博客中内容主要来自《狄泰软件学院》，博客仅当私人笔记使用。

测试环境：Ubuntu 10.10

GCC版本：9.2.0

 

一、逗号操作符

1）逗号操作符（，）可以构成逗号表达式

    -    逗号表达式用于将多个子表达式连接为一个表达式

    -    逗号表达式的值为最后一个子表达式的值

    -    逗号表达式中的前N-1个子表达式可以没有返回值

    -    逗号表达式按照从左向右的顺序计算每个子表达式的值

   exp1，exp2，exp3，……，expN

——————————————->

实例分析
逗号表达式的示例
39-1.cpp
#include <iostream>
#include <string>

using namespace std;

void func(int i)
{
    cout << "func() : i = " << i << endl;
}

int main()
{   
    int a[3][3] = {
        (0, 1, 2),
        (3, 4, 5),
        (6, 7, 8)
    };
    //这个二维数组只有2,5,8三个初始值
    /*//想初始化9个元素，需要用花括号({})
    int a[3][3] = {
        {0,1,2},
        {3,4,5},
        {6,7,8}
    };
    */
    int i = 0;
    int j = 0;
    
    while( i < 5 )    
        func(i),
    
    i++;  //26和28是同一行
    //上边是while    
    for(i=0; i<3; i++)
    {
        for(j=0; j<3; j++)    //i=3
        {
            cout << a[i][j] << endl;   
        }
    }
    
    (i, j) = 6; //等价于j = 6;i并没有被赋值
    
    cout << "i = " << i << endl;
    cout << "j = " << j << endl;

    return 0;
}

操作：

1) g++ 39-1.cpp -o 39-1.out编译正确，打印结果：

func() : i = 0
func() : i = 1
func() : i = 2
func() : i = 3    
func() : i = 4   
2   //接下来三行，只显示了最后数值，证明逗号表达式值为最后一个子表达式值 
5    
8    
0    
0    
0
0    
0    
0    
i = 3    
j = 6    

分析：

        打印i = 3，没有等于6，证明i没有被赋值。

 

二、重载逗号操作符

1）在C++中重载逗号操作符是合法的

2）使用全局函数对逗号操作符进行重载

3）重载函数的参数必须有一个是类类型

4）重载函数的返回值类型必须是引用

Class& operator,(const Class& a, const Class& b)
{
    return const_cast<Class&>(b);
}

函数返回值类型为引用是为了支持连续操作(没有引用这里只会是临时对象，运行异常)。

 

编程实验
重载逗号操作符
39-2.cpp
#include <iostream>
#include <string>

using namespace std;

class Test
{
    int mValue;
public:
    Test(int i)
    {
        mValue = i;
    }
    int value()
    {
        return mValue;
    }
};
/*
Test& operator , (const Test& a, const Test& b)
{
    return const_cast<Test&>(b);   //去掉const属性，但b本身还是只读
}
*/
Test func(Test& i)
{
    cout << "func() : i = " << i.value() << endl;
    
    return i;
}

int main()
{   
    Test t0(0);
    Test t1(1);
    Test tt = (func(t0), func(t1));         // Test tt = func(t1);
    //等价Test tt = (operator , func(t0), func(t1))
    cout << tt.value() << endl;             // 1
    
    return 0;
}

操作：

1) g++ 39-2.cpp -o 39-2.out编译正确，打印结果：

func() : i = 1
func() : i = 0   
1    

分析：

        使用自定义的重载逗号(,)操作符函数，执行结果是从右至左(原生意思：从左至右)，违背逗号表达式原生语义！引起重视。

2) 注释掉自定义的重载逗号(,)操作符函数：

func() : i = 0
func() : i = 1   
1    

分析：

        默认的逗号运算结果，从左至右调用函数。

 

结论：对比1)和2)发现，自定义的重载逗号操作符函数和默认的逗号执行顺序不同，工程中不要重载使用。

 

5）问题的本质分析

    1、C++通过函数调用扩展操作符的功能

    2、进入函数体前必须完成所有参数的计算（函数和表达式作为形参时，进入函数体前都必须完成所有参数计算）

    3、函数参数的计算次序是不定的

    4、重载后无法严格从左向右计算表达式

        工程中不要重载逗号操作符！

 

小结

1）逗号表达式从左向右顺序计算每个子表达式的值

2）逗号表达式的值为最后一个子表达式的值

3）操作符重载无法完全实现逗号操作符的原生意义

4）工程开发中不要重载逗号操作符