Visual C++中的预处理器设施__COUNTER__

gcuhipw9  于 11个月前  发布在  其他
关注(0)|答案(3)|浏览(104)

我需要在编译时在整个代码中生成一系列连续的数字。我尝试了“COUNTER”这样的方法:

void test1()
{
  printf("test1(): Counter = %d\n", __COUNTER__);
}
void test2()
{
  printf("test2(): Counter = %d\n", __COUNTER__);
}
int main()
{
  test1();
  test2();
}

字符串
结果正如我所料,非常完美:

test1(): Counter = 0
test2(): Counter = 1


然后我将“COUNTER”分散到不同的.cpp文件中:

In Foo.cpp:
Foo::Foo()
{
  printf("Foo::Foo() with counter = %d\n", __COUNTER__);
}
In Bar.cpp:
Bar::Bar()
{
  printf("Bar::Bar() with counter = %d\n", __COUNTER__);
}

In Main.cpp:
int main()
{
  Foo foo;
  Bar bar;
}


结果是:

Foo::Foo() with counter = 0
Bar::Bar() with counter = 0


在我看来,“COUNTER”是作为每个编译单元的**变量提供的。
我想要的是一个在整个代码中有效的全局计数器。
这用于在调试构建中进行测试,我希望实现以下目标:
假设我在整个代码中都有try/catch块(多个.cpp文件中的子系统或模块)。在运行时,程序在循环中运行,在每个循环中,所有的try块都将按顺序执行(顺序无关紧要),并且我想逐个测试代码对每个try/catch异常的React。例如,第一次在循环中,#1 try/catch块抛出一个异常;第二次在循环中,#2 try/catch块抛出一个异常,依此类推。
我计划有一个这样的全局计数器:

int g_testThrowExceptionIndex = 0;


每次try/catch:

try
{
  TEST_THROW_EXCEPTION(__COUNTER__)
  //My logic is here...
}
catch(...)
{
  //Log or notify...
}


Macro应该是这样的:

#define TEST_THROW_EXCEPTION(n) \
        if(g_testThrowExceptionIndex == n)\
        {\
          g_testThrowExceptionIndex++;\
          throw g_testThrowExceptionIndex;\
        }\


如果不能在编译时生成序列号,我必须像这样编写宏:

TEST_THROW_EXCEPTION(THROW_INDEX_1)
......
TEST_THROW_EXCEPTION(THROW_INDEX_N)


在header中,定义:

#define THROW_INDEX_1 0
#define THROW_INDEX_2 1
......


问题是,每次你添加一个try/catch块,你想测试,你必须通过#define创建一个新的常量,并把这个数字放入宏。更糟糕的是,如果你从代码中删除一些try/catch块怎么办?你还必须更新你的#define列表。

解决方案:感谢Suma的想法,我最终得到了这样的东西:

#if defined(_DEBUG)  && defined(_EXCEPTION_TEST)
  extern int g_testThrowExceptionIndex;
  struct GCounter
  {
    static int counter; // used static to guarantee compile time initialization
    static int NewValue() {return counter++;}
  };
  #define TEST_THROW_EXCEPTION \
      static int myConst = GCounter::NewValue();\
      if(g_testThrowExceptionIndex == myConst)\
      {\
        g_testThrowExceptionIndex++;\
        throw 0;\
      }
#else
  #define TEST_THROW_EXCEPTION 
#endif


在main.cpp中:

#if defined(_DEBUG) && defined(_EXCEPTION_TEST)
  int g_testThrowExceptionIndex= 0;
  int GCounter::counter= 0;
#endif


然后你可以把“TEST_THROW_EXCEPTION”放在任何你想测试的try/catch块中。

o4hqfura

o4hqfura1#

你不能使用预处理器来实现这一点,因为每个编译单元都是单独预处理的。这需要一个运行时解决方案。你可以创建一个全局单例,每个需要唯一标识符的地方都可以使用这个单例定义一个静态int。

struct GCounter
{
  static int counter; // used static to guarantee compile time initialization
  static int NewValue() {return counter++;}
};

int GCounter::counter = 0;

void Foo1()
{
  static int ID1 = GCounter::NewValue();
}

void Foo2()
{
  static int ID2 = GCounter::NewValue();
}

字符串
注意事项:在多个编译单元中,这些静态值(ID)的初始化顺序没有定义。你可以确保它们总是唯一的,但是你不能依赖它们具有某些特定的值或顺序。因此,当将它们保存到文件中时要小心-你应该将它们转换为某种中立的表示。

2ledvvac

2ledvvac2#

如果你使用的是MSVC,你可以添加一个预构建步骤来解析文件,并将__COUNTER__扩展为一个超级全局值,而不是一个单元全局值。当然,困难的部分是管理文件,以免引起问题。

8i9zcol2

8i9zcol23#

您可以在项目中的每个源文件的开头使用不同的值声明相同的宏名称,然后在表达式中为其添加__COUNTER__

// include.h
#define _MY_COUNTER_ _FILE_COUNTER_+__COUNTER__

// Foo.cpp
#define _FILE_COUNTER_ 1000
#include <include.h>
...
printf("Foo::Foo(): Counter = %d\n", _MY_COUNTER_);

// Bar.cpp
#define _FILE_COUNTER_ 2000
#include <include.h>
...
printf("Bar::Bar()): Counter = %d\n", _MY_COUNTER_);

字符串
如果你不需要通用宏,只需要使用源文件中的表达式:

_FILE_COUNTER_+__COUNTER__


当然,它不是连续的。但至少,保证了唯一的编号(确保每个文件中有足够的空间),并且您将能够确定宏在项目中的确切位置。

相关问题