目录

• 一、逗号操作符
• 二、重载逗号操作符
• 三、小结

一、逗号操作符

逗号操符( , )可以构成逗号表达式

• 逗号表达式用于将多个子表达式连接为一个表达式
• 逗号表达式的值为最后一个子表达式的值
• 逗号表达式中的前 N-1 个子表达式可以没有返回值
• 逗号表达式按照从左向右的顺序计算每个子表达式的值

下面看一个逗号表达式的示例：

#include <iostream>
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)
    };
    int i = 0;
    int j = 0;
    while(i < 5)
        func(i),
    i++;
    for (i = 0; i < 3; i++)
    {
        for (j = 0; j < 3; j++)
        {
            cout << a[i][j] << endl;
        }
    }
    (i, j) = 6;
    cout << "i = " << i << endl;
    cout << "j = " << j << endl;
    return 0;
}

输出结果如下：

注意三点：

1.使用括号，就不是初始化的方式，就变成了逗号表达式。要想其变成真正的初始化语句，需要把圆括号改成花括号。即

   int a[3][3] = {
        {0, 1, 2},
        {3, 4, 5},
        {6, 7, 8}
    };

2.这个

while(i < 5)
        func(i),
    i++;

等价于

while(i < 5)
{
    func(i);
    i++; 
}

3.(i, j) = 6; 按照逗号表达式的规则，就是等价于 j = 6;

二、重载逗号操作符

• 在C++ 中重载逗号操作符是合法的
• 使用全局函数对逗号操作符进行重载
• 重载函数的参数必须有一个是类类型
• 重载函数的返回值类型必须是引用

下面来尝试一下重载逗号操作符：

#include <iostream>
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);
}
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));
    cout << tt.value() << endl;
    return 0;
}

输出结果如下：

其中

Test tt = (func(t0), func(t1));

等价于：

Test tt = (operator , (func(t0), func(t1)));

问题的本质分析

• C++ 通过函数调用扩展操作符的功能
• 进入函数体前必须完成所有参数的计算
• 函数参数的计算次序是不定的
• 重载后无法严格从左向右计算表达式

可以看一下不重载会输出什么，把下面这段注释掉。

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

输出如下：

可以看到不重载逗号操作符是按照从左到右执行，重载后反而不正常了，所以逗号操作符没有重载的必要。

注意事项：工程中不要重载逗号操作符！！！

三、小结

• 逗号表达式从左向右顺序计算每个子表达式的值
• 逗号表达式的值为最后一个子表达式的值
• 操作符重载无法完全实现逗号操作符的原生意义
• 工程开发中不要重载逗号操作符