C语言中，多线程共享的只读对象能否使用restrict限定符？

首先得明确C标准里restrict限定符的核心规则：它约束的是单个执行线程内的指针访问行为，要求在该指针的有效作用域内，没有其他可用于修改该对象的指针存在。

针对你的场景，结论是：可以合法地为指向这个只读共享对象的指针添加restrict限定符，原因如下：

• restrict的约束范围仅限于当前线程，不涉及跨线程的指针持有情况。只要在单个线程里，这个restrict指针是唯一能访问该对象的途径（或者其他途径都是只读的，无法修改对象），就满足restrict的要求。
• 由于对象本身是只读的，所有线程的指针都只能读取它，不存在任何线程能通过指针修改该对象的情况。这意味着，即使多个线程都持有指向它的指针，也不会触发restrict要禁止的“通过其他指针修改对象”的冲突场景。
• 编译器对restrict的优化逻辑基于单线程内的别名分析，跨线程的访问不在restrict的语义管辖范围内——线程同步属于独立的问题范畴，和restrict的规则无关。

举个简单的合法示例：

const int global_arr[100] = {0};

// 线程函数，参数使用restrict限定
void thread_func(const int *restrict ptr) {
    // 编译器可放心优化读取操作，因为无其他可修改该数组的指针
    for (int i = 0; i < 100; i++) {
        printf("%d\n", ptr[i]);
    }
}

int main() {
    pthread_t t1, t2;
    pthread_create(&t1, NULL, (void*)thread_func, global_arr);
    pthread_create(&t2, NULL, (void*)thread_func, global_arr);
    // 等待线程执行完成
    pthread_join(t1, NULL);
    pthread_join(t2, NULL);
    return 0;
}

这段代码中的restrict使用完全合法，每个线程内的ptr都不存在可修改目标对象的别名指针，符合restrict的语义要求。

总结：只要共享对象是只读的，即便被多线程同时访问，为指向它的指针添加restrict限定符完全符合C标准，不存在合法性问题。

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