将va_start宏与此参数一起使用是否安全？

Question

我必须在嵌入式应用程序中使用IAR编译器（它没有名称空间，异常，多重/虚拟继承，模板受位限制并且仅支持C ++ 03）。我无法使用参数包，因此尝试使用可变参数创建成员函数。我知道可变参数通常是不安全的。但是this在va_start宏中使用指针是否安全？

如果我使用普通的可变参数函数，则需要一个伪参数才能...访问其余参数。我知道可变参数宏之前不需要参数，...但我不希望使用它。如果我使用成员函数，则它this之前具有隐藏参数，...因此我尝试了它：

struct VariadicTestBase{
  virtual void DO(...)=0;
};

struct VariadicTest: public VariadicTestBase{
  virtual void DO(...){
    va_list args;
    va_start(args, this);
    vprintf("%d%d%d\n",args);
    va_end(args);
  }
};

//Now I can do
VariadicTestBase *tst = new VariadicTest;
tst->DO(1,2,3);

tst->DO(1,2,3);按预期打印123。但是我不确定这是否只是一些随机/未定义的行为。我知道tst->DO(1,2);会像普通的prinf一样崩溃。我不介意。

Answer 1

没有在标准中指定该行为，因此此构造仅调用正式的未定义行为。这意味着它可以在您的实现中正常工作，并在其他实现中导致编译错误或意外结果。

非静态方法必须传递隐藏this指针的事实不能保证va_start可以使用它。之所以可能如此，是因为在早期，C ++编译器只是将C ++源代码转换为C源代码的预处理器，并且隐藏this参数是由预处理器添加的，可供C编译器使用。并且可能出于兼容性原因对其进行了维护。但是我会尽力避免在关键任务代码中出现这种情况...