[問題] 確保#define的值在編譯時正確

[james732 (好人超)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1499741476.A.25B.html
→ Hazukashiine: 個人傾向這種最笨最囉唆的寫法 其他的看起來很炫炮
→ Hazukashiine: 但是其實並沒有比這種寫法的可讀性來得高
有道理orz
推 chuegou: 換行符+or運算子
→ Killercat: gcc -E
→ Killercat: 研究一下這指令 這是最準確的方法
推 loveflames: 用metaprogramming就跟可讀性無緣了，不過首篇要改合
→ loveflames: 法值就得改header
metaprogramming要寫到可讀性高好像是不可能的任務Q_Q
→ Killercat: metaprogramming還是可以用static_assert來很呆的找XD
推 fenzhang: c11有static_assert
推 loveflames: 原po說用純C，那就沒辦法了
假如可以用static_assert的話，要怎麼寫會比較簡潔呢？(單純好奇)
→ Schottky: 不只是純 C 的問題，很多嵌入式在用的 C compiler
→ Schottky: 會連一些標準中該有的東西都缺東缺西
→ Schottky: 所以寫一些太神妙的東西恐怕 preprocessor 不吃
→ grayStone: gcc可以編c++吧
我用的是針對Andes架構修改的gcc，不確定有支援標準到什麼程度
剛剛測試了一下，_Static_assert可以使用
→ loveflames: http://tinyurl.com/czzpwn3
以我原本舉的例子來說
如果我希望FOO_VALUE是5,11,18,21,29之一之一
static_assert要怎麼寫會比較簡潔呢？
※ 編輯: james732 (223.136.79.109), 07/12/2017 12:27:50
→ loveflames: static_assert(a==5||a==11||...,msg)
→ loveflames: 也只能這樣吧
推 kevin85421: 應該要儘量避免使用define，使用const 來取代define
→ Schottky: 如果是 gcc 應該不會有問題，該支援的都會支援
→ loveflames: const未必能取代define，const不是preprocess time
→ Killercat: const跟define其實用途截然不同 define是抓環境值的
→ Killercat: 作法 以及-D的載體，這點const是不可能做到的
→ Killercat: 當然我們要絕對避免#define當作const使用的場合就是
→ Killercat: 可以參考一下boost::config看裡面怎麼寫的