C 预处理器：自己实现 __COUNTER__

我目前正在使用__COUNTER__我的 C 库代码中的宏来生成唯一的整数标识符。它工作得很好，但我看到两个问题：

• 它不是任何 C 或 C++ 标准的一部分。
• 也使用的独立代码__COUNTER__可能会感到困惑。

因此我希望实现一个相当于__COUNTER__ myself.

我知道但确实存在的替代方案not想要使用：

• __LINE__（因为每行多个宏不会获得唯一的 ID）
• BOOST_PP_COUNTER（因为我不想boost依赖性）

BOOST_PP_COUNTER证明这是可以做到的，尽管other答案声称这是不可能的。

本质上，我正在寻找一个头文件“mycounter.h”，这样

#include "mycounter.h"

__MYCOUNTER__
__MYCOUNTER__ __MYCOUNTER__
__MYCOUNTER__

将被预处理gcc -E to

(...)

0
1 2
3

不使用内置的__COUNTER__.

注意：早些时候，这个问题被标记为重复this，它涉及使用__COUNTER__而不是回避它。

你无法实施__COUNTER__直接地。预处理器纯粹是功能性的——没有状态改变。在这样的系统中，隐藏的计数器本质上是不可能的。 (BOOST_PP_COUNTER does not证明你想要的事情可以做到——它依赖于#include因此每行只有一个 - 也可以使用__LINE__。也就是说，实现非常出色，无论如何你都应该阅读它。）

您可以做的是重构您的元程序，以便可以通过纯函数将计数器应用于输入数据。例如使用好的ol'Order:

#include <order/interpreter.h>

#define ORDER_PP_DEF_8map_count  \
ORDER_PP_FN(8fn(8L, 8rec_mc(8L, 8nil, 0)))

#define ORDER_PP_DEF_8rec_mc     \
ORDER_PP_FN(8fn(8L, 8R, 8C,      \
                8if(8is_nil(8L), \
                    8R,          \
                    8let((8H, 8seq_head(8L))  \
                         (8T, 8seq_tail(8L))  \
                         (8D, 8plus(8C, 1)),  \
                          8if(8is_seq(8H),    \
                              8rec_mc(8T, 8seq_append(8R, 8seq_take(1, 8L)), 8C),  \
                              8rec_mc(8T, 8seq_append(8R, 8seq(8C)), 8D) )))))

ORDER_PP (
  8map_count(8seq( 8seq(8(A)), 8true, 8seq(8(C)), 8true, 8true ))  //((A))(0)((C))(1)(2)
)

（向下递归列表，将子列表元素保留在原处并替换非列表元素 - 由8false- 使用递增计数器变量）

我想你实际上并不想简单地放弃__COUNTER__值位于程序顶层，因此如果您可以将需要编织的代码放入其中__COUNTER__包装宏内的值将其拆分为某种序列或列表，然后您可以将该列表提供给类似于示例的纯函数。

当然，能够表达此类代码的元编程库将是显著地相比之下，便携性和可维护性较差__COUNTER__反正。__COUNTER__受 Intel、GCC、Clang 和 MSVC 支持。 （不是每个人，例如pcc没有它，但是有人使用它吗？）可以说，如果您在实际代码中演示了该功能，那么它向标准化委员会提供了更有力的理由：__COUNTER__ should成为下一个 C 标准的一部分。