具有不同编译器的 C++ 和可变参数答案

【问题标题】：C++ & varargs with different compilers具有不同编译器的 C++ 和可变参数
【发布时间】：2015-12-03 15:28:57
【问题描述】：

我正在尝试将使用 GCC 编写的 C++ 项目重新编译为 clang，它给我的 varargs 方法带来了一些问题。

NB：该项目也应该使用非 c++-11 兼容的编译器进行编译，所以我不能在这里使用花哨的 C++11 语法。

GCC 无警告地接受以下代码 (1)：

void Set(TreeIter &it, ...) {
    va_list va;
    va_start(va, it);
    gtk_list_store_set_valist(*this, const_cast<TreeIter *>(&it), va);
    va_end(va);
}

和（2）：

void AddTail(...) {
    TreeIter it;
    gtk_list_store_append(*this, &it);
    va_list va;
    va_start(va, this);
    gtk_list_store_set_valist(*this, &it, va);
    va_end(va);
}

虽然 CLANG 对两者都发出警告：

(1):

 ./ootree.h:444:30: warning: 'va_start' has undefined behavior with reference types [-Wvarargs]

(2):

 ./ootree.h:476:30: warning: second parameter of 'va_start' not last named argument [-Wvarargs]

我可以通过将 TreeIter 引用替换为副本来轻松修复 (1)（标准似乎要求我这样做），但我找不到修复 (2) 的简单方法，这是一个最小的显示行为的独立示例，该程序不仅适用于 gcc，还适用于 clang，但这些警告非常吓人......

#include <stdio.h>
#include <stdarg.h>

struct T {
    void print(...) {
        va_list va;
        va_start(va, this);
        vprintf("%d %d %d\n", va);
        va_end(va);
    }
};

int main() {
    T().print(2, 4, 6);
}

【问题讨论】：

Clang 是对的。请参阅 [support.runtime]/3。

标签： c++ gcc clang variadic-functions

【解决方案1】：

(2) 的解决方案是显式采用前 2 个参数，可能提供 1 参数重载：

void AddTail(gint column, GValue *value, ...) {
    TreeIter it;
    gtk_list_store_append(*this, &it);
    gtk_list_store_set_value(*this, &it, column, value);
    va_list va;
    va_start(va, value);
    gtk_list_store_set_valist(*this, &it, va);
    va_end(va);
}

void AddTail(gint column) {
    TreeIter it;
    gtk_list_store_append(*this, &it);
    assert(column == -1);
}

【讨论】：

我使用了带有模板参数而不是 GValue 的稍微修改的版本，但这解决了我的问题，谢谢 :)
@Jarod42 gtk_list_store_set_valist 有一个哨兵（-1），所以总是至少有一个参数。

【解决方案2】：

您可以将 (2) 更改为

static void AddTail(T* that, ...) {
    TreeIter it;
    gtk_list_store_append(*that, &it);
    va_list va;
    va_start(va, that);
    gtk_list_store_set_valist(*that, &it, va);
    va_end(va);
}

并将呼叫从 T().print(2, 4, 6); 更改为 T::print(T(), 2, 4, 6);。

甚至在第一个参数处添加一个虚拟标签：

struct variadic_tag {};

void AddTail(variadic_tag, ...) {
    TreeIter it;
    gtk_list_store_append(*that, &it);
    va_list va;
    va_start(va, that);
    gtk_list_store_set_valist(*that, &it, va);
    va_end(va);
}

并将T().print(2, 4, 6); 更改为T().print(variadic_tag{}, 2, 4, 6);。

【讨论】：