关于C11标准中void表达式丢弃指示符的含义与示例问询

一、“指示符”的具体所指 #

这里的“指示符”对应C标准原文的designator，指的是用来定位具体对象或函数的语法标识组合——比如变量名、数组下标、结构体成员访问符（./->）这些能精准指向某个实体的语法成分。简单说，当表达式是一个左值（可以被取地址、赋值的实体）时，这个左值的“定位路径”就是所谓的指示符。

二、“丢弃指示符”的实际含义 #

当你把非void类型的表达式当作void表达式求值时（比如用(void)强制转换，或者调用非void返回值的函数却不接收结果），除了丢弃表达式的数值结果，还会丢弃这个表达式作为左值的定位能力——换句话说，这个表达式不再代表任何可被操作的对象，你没法再通过它去读写原本指向的实体。

三、示例演示 #

1. 返回指针的函数调用 #

int* get_val_ptr() {
    static int inner_val = 42;
    return &inner_val;
}

// 将函数返回值转为void表达式
(void)get_val_ptr();

get_val_ptr()返回的指针是一个左值，它的指示符是“指向静态变量inner_val的指针”。转为void表达式后，不仅指针的地址值被丢弃，这个指针指向inner_val的定位能力也没了——你不能写*(void)get_val_ptr() = 100;，因为此时表达式已经不再关联任何可访问的对象。

2. 数组左值的void转换 #

int nums[3] = {1, 2, 3};
(void)nums[1];

nums[1]是左值，指示符是“数组nums的第二个元素”。转为void表达式后，它的数值2被丢弃，同时作为左值的定位能力也被丢弃——(void)nums[1] = 5;是非法语法，因为这个表达式已经不再指向nums[1]这个对象。

3. 结构体成员的void转换 #

typedef struct {
    int width;
} Rectangle;
Rectangle rect = {10};
(void)rect.width;

rect.width的指示符是“结构体rect的width成员”。转为void表达式后，你没法再通过这个表达式给width赋值，(void)rect.width = 20;会直接触发编译错误。

注意：void表达式的核心是保留副作用，比如如果get_val_ptr()里有修改全局变量的操作，或者nums[1]是volatile变量，这些操作的副作用会被执行，只是值和指示符被丢弃。

内容的提问来源于stack exchange，提问作者user24723440