C語言帶常量參數(shù)宏的編譯時參數(shù)檢查，有辦法實現(xiàn)嗎？（答案已經(jīng)公開）

AD8018

除0法

1. 
   
2. #define MACRO_P(A)                                                \
   
3. {                                                                                \
   
4.         1 /((A) >= 0 && (A) <= 5 ? 1 : 0);        \
   
5. }

復制代碼

ddddddddd

AD8018 發(fā)表于 2012-02-01 16:11
我堅信沒有，要有也是寫多個宏的變種。

要不公布答案吧，如果我輸了，愿意免費贈送百元之內(nèi)圖書一本 ...

先拍個照，靜等下文。

OwnWaterloo

回復 1# 沒本

1. 這方法不一定是D首創(chuàng)

"modern c++ design" —— 2001年出版 —— 里就有c++03的實現(xiàn)。
而D語言是在03年才加入static assert。 見： http://www.digitalmars.com/d/1.0/changelog1.html#new073

2. typedef的方法

這方法我在windows platform sdk的header中間過，忘記是哪個了……
無法追查確切使用年代，不過我感覺比MCD與D都早。
如果能想起是哪個頭文件，且在VC6 —— 98nian —— 帶的header里面找找；如果找到就能說明比上面兩者都早了。

4. __COUNTER__

如果需要的是遞增的計數(shù)器，那確實需要__COUNTER__擴展。
但如果只是需要保證翻譯單元中唯一，用C89/C99/C++03/C++11都支持的__LINE__就可以了。

3. c89/c99/c++03/c++11的編譯時整型常量約束

因為c99支持VLA，所以負數(shù)下標不頂用了。
除了位域，其實更常見的提出編譯時約束的是enum。

沒本

好吧，不是D的首創(chuàng)。

ddddddddd

>3. c89/c99/c++03/c++11的編譯時整型常量約束

>因為c99支持VLA，所以負數(shù)下標不頂用了。
你確認？

沒本

回復 31# AD8018


    這個可能會有運行時開銷吧，最起碼要依賴編譯器優(yōu)化。

AD8018

ddddddddd 發(fā)表于 2012-02-01 18:18
先拍個照，靜等下文。

沒事啊，愿賭服輸。
樓主隨便選吧，最好淘寶鏈接，俺購書方便點。

OwnWaterloo

回復 35# ddddddddd

哦，我說得太簡略了……

應該這么說：
1. c89/c++中數(shù)組的維度是一種提出編譯時約束的方法。必須要提供一個編譯時常量，否則就是編譯錯誤。
2. 同時也要求這個常量必須>0，對是否可以為0這個細節(jié)記不清了，但<0肯定也是錯誤。 于是就可以用作static assert

但c99里支持VLA，數(shù)組維度不需要是編譯時常量。
上面的1已經(jīng)不支持了；所以2這種負數(shù)下標的技巧就不頂用了。

沒本

回復 37# AD8018


    汗，我不參與公開賭博。

ddddddddd

>但c99里支持VLA，數(shù)組維度不需要是編譯時常量。
>上面的1已經(jīng)不支持了；所以2這種負數(shù)下標的技巧就不頂用了。

確實不需要是編譯時常量，但如果是常量的話，必須大于0。