C 中 `i = i` 总是未定义行为吗？

重新审视未定义的行为和序列点

内置类型的未定义行为

在上一部分中，“未定义的行为和序列点”我们讨论了与相关的潜在未定义行为表达式：

i += ++i;

当 i 是内置类型时，此表达式会调用未定义的行为，因为对象 i 在连续序列点之间被修改两次。

用户定义类型的未定义行为

但是，如果i是用户自定义类型，比如定义的Index类下面：

class Index
{
    int state;

    public:
        Index(int s) : state(s) {}
        Index& operator++()
        {
            state++;
            return *this;
        }
        Index& operator+=(const Index & index)
        {
            state+= index.state;
            return *this;
        }
        operator int()
        {
            return state;
        }
        Index & add(const Index & index)
        {
            state += index.state;
            return *this;
        }
        Index & inc()
        {
            state++;
            return *this;
        }
};

表达式 i = i 是否仍然会调用未定义的行为？

重载运算符的明确定义的行为

令人惊讶的是，不会。具有用户定义类型 i 的表达式 i = i 不会调用未定义的行为，因为重载运算符被视为 C 中的函数。根据 C ISO 标准第 1.9.17 节：

调用函数时（无论函数是否内联），在所有函数参数求值之后都有一个序列点...

因此，对运算符和运算符 = 函数的调用会引入序列点，从而防止未定义的行为。

a[ i] = 的未定义行为i

当 a 是带有重载下标运算符的用户定义类型时，表达式 a[ i] = i 也是明确定义的，因为在评估 i 表达式后，它被视为带有序列点的函数调用.

i 的明确定义行为

在 C 03 中，表达式 i 是明确定义的，因为它实际上是等价的to:

((i.operator++()).operator++()).operator++();

每个函数调用都会引入一个序列点，使表达式定义良好。

以上是C 中 `i = i` 总是未定义行为吗？的详细内容。更多信息请关注PHP中文网其他相关文章！