者在上一篇文章《C語言中為何不能直接對一個數組對象賦值》中談到了為何C語言設計之初沒有把對數組賦值的語法引入的各種緣由。當然，從其語法體系角度而言，一個數組對象作為表達式被使用時，其類型會被隱式轉換為指向其元素類型的指針，而數組本身的引用是不能被修改的，所以像下面的代碼會導致語法錯誤：

int arr1[3]={ 0 };
int arr2[3]={ 0 };
arr1=arr2;    // 相當于：(int * const)arr1=(int *)arr2;

這是顯而易見的。

那有沒有辦法能通過某種語法擴展來使得C語言能方便地對數組進行賦值呢？答案是可以被設計出來的！筆者這里通過GNU語法擴展中所引入的 Case Ranges（https://gcc.gnu.org/onlinedocs/gcc/Case-Ranges.html），再結合C++17中所完善的折疊表達式（fold expression）為C語言設計出 [ from ... to ] 這一索引折疊表達式（index fold expression）的語法擴展。

基本定義

如果一個表達式中含有 [ from ... to ] 這種表達，那么該表達式即為索引折疊表達式。其通常表現形式為：

a[ 0 ... 2 ]=b[ 5 ... 7 ];

相當于：

( a[0]=b[5],
  a[1]=b[6],
  a[2]=b[7]
);

這里為了簡化編譯器實現，可以將 from 和 to 限定為常量表達式，即它們必須是編譯時就能確定的常量。這一點是跟GNU語法擴展中所引入的 Case Ranges 所契合的。當 [ from ... to ] 的操作數是一個數組對象時，to 可被缺省。而當 to 被缺省時，其值為 sizeof(array) / sizeof(array[0]) - 1U。這一點也可適用于變長數組。

約束

• 對于任何一個 [ from ... to ]，必須滿足：from <= to。當 from == to 時，它即被退化為基本表達式（primary expression）。
• 如果一個表達式具有多個 [ from ... to ]，那么所有子表達式中的 to - from 的值必須全都相同。
• 索引折疊表達式的返回值與其他約束均可繼承于逗號表達式。

代碼例子

int arr1[3]={ 1, 2, 3 };
int arr2[5]={ 1, 2, 3, 4, 5 };
// 相當于：(arr1[0]=arr2[2], arr1[1]=arr2[3], arr1[2]=arr2[4]);
arr1[0 ...]=arr2[2 ...];
// 相當于：int arr3[3]={ arr2[1], arr2[2], arr[3] };
int arr3[]={ arr2[1 ... 3] };

int sum=0;
// 相當于：(sum +=arr1[0], sum +=arr1[1], sum +=arr[2]);
sum +=arr1[0 ...];
// 相當于：(arr1[0] +=sum, arr1[1] +=sum, arr1[2] +=sum);
arr1[0 ...] +=sum;

static bool IsLower(int a, int b)
{
     return a < b;
}

bool bArr[3];
// 相當于：
// (bArr[0]=IsLower(arr1[0], arr3[0]), 
//  bArr[1]=IsLower(arr1[1], arr3[1]),
//  bArr[2]=IsLower(arr1[2], arr3[2])
// );
bArr[0 ...]=IsLower(arr1[0 ...], arr3[0 ...]);

int FooInc(int arr[static 3])
{
    // 相當于：(++arr[0], ++arr[1], ++arr[2]);
    // 注意，arr作為函數形參，其本質上屬于指針，而不是數組，
    // 因此，這里 to 的位置不可缺省！
    ++arr[0 ... 2];
    // 相當于：return (arr[0], arr[1], arr[2]);
    // 因此最后其實返回的是 arr[2] 的值。
    return arr[0 ... 2]; 
}

優化

如果對多個數組或是被 restrict 修飾的指針進行操作的話，編譯器后端可以生成SIMD指令或是使用Intel TBB或微軟的PPL這種并行庫的 parallel_for，對這些數組元素做多線程并行操作。