作者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/cn.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