虽然规则 DCL50-CPP. Do not define a C-style variadic function 禁止创建这样的函数，但是当函数具有C语言链接时它还是有可能被创建。
在这些条件下，当触发va_start()宏时要额外小心。
C标准库的宏va_start()对它的第二个参数值的类型有几个语义限制。
C标准，第7.16.1.4节，第4段 [ISO/IEC 9899:2011]阐述如下：

The parameter parmN is the identifier of the rightmost parameter in the variable parameter list in the function definition (the one just before the …). If the parameter parmN is declared with the register storage class, with a function or array type, or with a type that is not compatible with the type that results after application of the default argument promotions, the behavior is undefined.

这些限制被C++标准,[support.runtime],第3段, [ISO/IEC 14882-2014]取代，阐述如下：

The restrictions that ISO C places on the second parameter to the va_start() macro in header are different in this International Standard. The parameter parmN is the identifier of the rightmost parameter in the variable parameter list of the function definition (the one just before the ...). If the parameter parmN is of a reference type, or of a type that is not compatible with the type that results when passing an argument for which there is no parameter, the behavior is undefined.

语义要求的主要区别是:

不允许向va_start()的第二个参数传入引用类型.
向va_start()传入的第二个参数的对象的类类型具有非平凡的拷贝构造函数，非平凡的移动构造函数或者非平凡的构造函数，是被有条件支持的，是由实现定义的语义([expr.call]第7段).
可以传入一个用register关键字声明的参数([dcl.stc]第3段)或函数类型的参数。

传入一个array类型的对象还是会引起未定义的行为，因为array类型作为函数参数需要使用引用，这是被禁止的。
并且，传入一个会进行默认参数提升的对象类型在C++中仍然会导致未定义的行为。

在这个不符合规范的代码示例中，传入va_start()的对象会进行默认参数提升，会导致未定义的行为。

#include <cstdarg>
  
extern "C" void f(float a, ...) {
  va_list list;
  va_start(list, a);
  // ...
  va_end(list);
}

符合规范的解决方案

在这个符合规范的解决方案中，f()接受了double而非float。

#include <cstdarg>
  
extern "C" void f(double a, ...) {
  va_list list;
  va_start(list, a);
  // ...
  va_end(list);
}

不符合规范的代码示例

在这个不符合规范的代码示例中，一个引用类型被传入va_start()的第二个参数。

#include <cstdarg>
#include <iostream>
  
extern "C" void f(int &a, ...) {
  va_list list;
  va_start(list, a);
  if (a) {
    std::cout << a << ", " << va_arg(list, int);
    a = 100; // Assign something to a for the caller
  }
  va_end(list);
}

符合规范的解决方案

没有给f()传入引用类型，这个符合规范的解决方案传入的是指针类型。（？？？执行也有异常？？？）

#include <cstdarg>
#include <iostream>
  
extern "C" void f(int *a, ...) {
  va_list list;
  va_start(list, a);
  if (a && *a) {
    std::cout << a << ", " << va_arg(list, int);
    *a = 100; // Assign something to *a for the caller
  }
  va_end(list);
}

不符合规范的代码示例

在这个不符合规范的代码示例中，一个具有非平凡拷贝构造函数(std::string)的类被传入va_start()作为第二个参数，这是被有条件支持的，取决于实现.

#include <cstdarg>
#include <iostream>
#include <string>
  
extern "C" void f(std::string s, ...) {
  va_list list;
  va_start(list, s);
  std::cout << s << ", " << va_arg(list, int);
  va_end(list);
}

符合规范的解决方案

这个符合规范的解决方案传入了const char*而非std::string，在任何实现上都是定义良好的。

#include <cstdarg>
#include <iostream>
  
extern "C" void f(const char *s, ...) {
  va_list list;
  va_start(list, s);
  std::cout << (s ? s : "") << ", " << va_arg(list, int);
  va_end(list);
}