C++ 可变参数函数指针

Question

以下是否会导致明确定义的行为？也就是说，如果您将非可变参数函数 f 转换为可变参数函数 g 并使用 f 期望的参数调用 g，那么行为是否与使用这些参数调用 f 的行为匹配？

class Base {};

class Derived1 : public Base {
public:
    int getInt1() {return 1;}
};

class Derived2 : public Base {
public:
    int getInt2() {return 2;}
};

typedef int (*vfunc)(...);

int foo (vfunc f) {
    Derived1 d1;
    Derived2 d2;
    return f(&d1, &d2);
}

int bar (Derived1 * p1, Derived2 * p2) {
    return p1->getInt1() + p2->getInt2();
}

int main (int argc, char ** argv) {
    return foo((vfunc)bar); // Is this program guaranteed to return 3?
}

更新

有没有什么方法可以让程序得到很好的定义，即使使用专有关键字？比如做一些这里提到的__cdecl之类的东西：

http://msdn.microsoft.com/en-us/library/984x0h58%28v=vs.80%29.aspx

我的最终目标是有一个matcher 函数尝试匹配 X 指针列表。 matcher 函数接受一个谓词（不一定是一个函数......可能是一个列表）并接受一个函数，它将把匹配的结果传递给它。传递给它的回调函数采用与匹配的谓词相同的参数类型和数量。

Answer 1

不，行为未定义，根据 C++11 5.2.11/6 (reinterpret_cast)：

通过指向与函数定义中使用的类型不同的函数类型的指针调用函数的效果是未定义的。

bar 的类型是int(Derived1*, Derived2*)。 f（进行调用的表达式）指向的函数类型是int(...)。两者不相同，因此行为未定义。

Answer 2

我很确定答案是“不”。

例如，在 Visual C++ 中，可变参数函数的调用约定与普通函数不同（使用 /Gz 时）。

调用约定决定生成什么调用前和调用后汇编代码，您不能安全地将两者混合使用。