作者james732 (好人超)
看板C_and_CPP
標題[問題] 確保#define的值在編譯時正確
時間Tue Jul 11 10:51:13 2017
開發平台(Platform): (Ex: Win10, Linux, ...)
Embedded System
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
GCC
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
由於Code size，無法額外使用函式庫
問題(Question)：
我的程式有個用#define定義的數值，譬如
#define FOO_VALUE 5
我已經知道，這個值一定會是5,11,18,21,29之一(沒什麼規律的串列)
希望如果使用這段Code的人填了錯誤的值的時候
可以在Compile的時候就抓到錯誤，不要到runtime的時候才檢查
#define FOO_VALUE 10
可以編譯的時候跑出錯誤
目前試過以下這樣的寫法可以達到我的目標
#if FOO_VALUE == 5
#elif FOO_VALUE == 11
#elif FOO_VALUE == 18
#elif FOO_VALUE == 21
#elif FOO_VALUE == 29
#else
#error "INVALID FOO_VALUE"
#endif
但寫起來很醜又累贅…
會需要用同樣的方式再去檢查BAR_VALUE, ABC_VALUE...等等
這樣一堆寫起來還挺可怕的orz
想請問要達成一樣的事，還有沒有其他的寫法呢？
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.136.79.109
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1499741476.A.25B.html
1F：→ Hazukashiine: 個人傾向這種最笨最囉唆的寫法 其他的看起來很炫炮 07/11 18:11
2F：→ Hazukashiine: 但是其實並沒有比這種寫法的可讀性來得高 07/11 18:11
有道理orz
3F：推 chuegou: 換行符+or運算子 07/11 19:14
4F：→ Killercat: gcc -E 07/11 20:44
5F：→ Killercat: 研究一下這指令 這是最準確的方法 07/11 20:44
6F：推 loveflames: 用metaprogramming就跟可讀性無緣了，不過首篇要改合 07/11 20:45
7F：→ loveflames: 法值就得改header 07/11 20:45
metaprogramming要寫到可讀性高好像是不可能的任務Q_Q
8F：→ Killercat: metaprogramming還是可以用static_assert來很呆的找XD 07/11 20:46
9F：推 fenzhang: c11有static_assert 07/11 20:50
10F：推 loveflames: 原po說用純C，那就沒辦法了 07/11 20:52
假如可以用static_assert的話，要怎麼寫會比較簡潔呢？(單純好奇)
11F：→ Schottky: 不只是純 C 的問題，很多嵌入式在用的 C compiler 07/11 21:44
12F：→ Schottky: 會連一些標準中該有的東西都缺東缺西 07/11 21:45
13F：→ Schottky: 所以寫一些太神妙的東西恐怕 preprocessor 不吃 07/11 21:46
14F：→ grayStone: gcc可以編c++吧 07/12 00:02
我用的是針對Andes架構修改的gcc，不確定有支援標準到什麼程度
剛剛測試了一下，_Static_assert可以使用
以我原本舉的例子來說
如果我希望FOO_VALUE是5,11,18,21,29之一之一
static_assert要怎麼寫會比較簡潔呢？
※ 編輯: james732 (223.136.79.109), 07/12/2017 12:27:50
16F：→ loveflames: static_assert(a==5||a==11||...,msg) 07/12 13:30
17F：→ loveflames: 也只能這樣吧 07/12 13:30
18F：推 kevin85421: 應該要儘量避免使用define，使用const 來取代define 07/13 10:46
19F：→ Schottky: 如果是 gcc 應該不會有問題，該支援的都會支援 07/13 11:00
20F：→ loveflames: const未必能取代define，const不是preprocess time 07/13 11:15
21F：→ Killercat: const跟define其實用途截然不同 define是抓環境值的 07/13 22:37
22F：→ Killercat: 作法 以及-D的載體，這點const是不可能做到的 07/13 22:37
23F：→ Killercat: 當然我們要絕對避免#define當作const使用的場合就是 07/13 22:37
24F：→ Killercat: 可以參考一下boost::config看裡面怎麼寫的 07/13 22:39