参数仅由省略号不同的函数重载

Question

我有这个日志系统，我希望能简化一些字符串操作。

日志系统通过功能宏使用，然后转发到单个函数调用。例如#define warning(...) LogMessage(eWarning, __VA_ARGS__);。

然后，LogMessage 在新缓冲区中执行 snprintf 操作，然后将该消息呈现给恰好安装的任何日志目标； printf、OutputDebugString 等。

不幸的是，我遇到了一个问题，即我们拥有的缓冲区不够大，因此输出被截断。我还意识到，如果输出消息中包含百分比符号，则此方法将会失败，因为 snprintf 将尝试处理 va_args。最后，由于我们的大多数日志消息不使用 va_args，因此复制字符串只是为了将其呈现给记录器似乎很愚蠢。

那么-给定我的函数原型，我是否应该能够根据省略号的存在进行重载？换句话说，我是否应该能够假设我可以做类似的事情：

LogMessage(LogLevel, const char* message, ...);
LogMessage(LogLevel, const char* message);

我的谷歌尝试没有产生任何特别有用的东西（只是告诉我，如果没有其他东西，省略号将匹配，这与我的要求不同没有< /em> 匹配），而我最初尝试实现只是给了我一个不明确的函数调用错误。

有了这个错误，我应该接受我不能这样做，但我想知道这是否只是我正在使用的编译器或者我是否做错了。我可以用 ... 实现类似的效果

// edited version of what I really have to remove our local APIs,
// please excuse minor errors
const char* message = NULL;
char buffer[512];

va_list args;
va_start(args, format);

if(strcmp(format, "%s") == 0) {
    message = va_arg(args, const char*);
}
else if (strchr(format, '%') == NULL) {
    message = format;
}
else {
    vsnprintf(buffer, 512, format, args);
    message = buffer;
}

va_end(args);

，但这在典型情况下似乎很浪费，可以通过传递的参数数量简单地知道。例如，如果省略号不匹配任何内容，请选择其他函数？如果这不起作用，是否有另一种方法可以尝试，不需要用户使用宏名称来决定将调用哪个函数？老实说，当我意识到如果有人在日志消息中随意说 Error("Buffer not 100% full"); 并得到“Buffer not 1007.732873e10ull”时，“浪费”就不再那么重要了一个结果。

编辑：虽然我的示例的答案是“不要这样做”，但问题本身可以得到回答吗？

Answer 1

我受到这个问题最初答案的启发，但提出了一些改进。

static void LogMessage(LogLevel level, const char* message);

template <typename T>
static void LogMessage(LogLevel level, const char* format, T t, ...)
{
    LogMessageVA(level, format, (va_list)&t);
}

static void LogMessageVA(LogLevel level, const char* format, va_list argptr);

这无需“假设”第二个参数是 const char* 即可工作。

Answer 2

我还意识到，如果输出消息中包含百分比符号，此方法将会失败，因为 snprintf 将尝试处理 va_args。

那么来电者要小心。如果您的函数被记录为采用 printf 样式格式字符串，那么调用者有责任转义任何百分号。尝试处理无效的格式字符串实际上并不是您的工作。

老实说，当我意识到如果有人在日志消息中随意地说 Error("Buffer not 100% full"); 并得到“Buffer not 1007.732873”时，“浪费”就不再那么重要了结果是 e10ull”。

我认为你最好遵循 C++ 精神。在 Java 方法中，通常会检查参数是否有效，并在传递无效值时引发异常。在 C++ 中，你只是让调用者搬起石头砸自己的脚。让他们写 100%% 比为了保护他们学习如何正确调用你的函数而跳圈要好。

Answer 3

在 C++11 中，您可以使用带有显式特化的可变参数模板来处理单参数情况：

void bar(int a, ...) {
  // va_list stuff
}

template <typename... T>
void foo(int a, T... args) { // (1)
  bar(a, args...); // or do all the vararg stuff here directly
}

template <>
void foo(int a) {            // (2)
  printf("single\n");
}

然后：

//foo();    // compile error, as expected
foo(1);     // uses (2)
foo(2,1);   // uses (1)
foo(3,1,"asdf"); // uses (1)
...

Answer 4

好吧，我想我想出了这个问题的解决方案。

事实上，您不能仅根据是否有省略号参数来进行重载。即，您不能拥有仅因省略号的存在而变化的签名的函数。

但是，如果我从省略号原型中删除 const char* 参数，就可以执行类似我所要求的操作。 Ie

LogMessage(LogLevel, ...);
LogMessage(LogLevel, const char* message);

是明确的，但现在您必须面对这样一个事实：您必须假设第一个参数是 const char*，但很可能不是。采纳约翰·库格曼的建议，也许这样就可以了。您记录允许的参数并用户注意。如果只有 const char*，则将调用非省略号函数；如果有任何其他内容，包括已记录的 const char*，则将调用省略号函数接下来是一些参数。

不幸的是，这似乎是允许您将 va_args 传递给子函数的可能解决方案的范围，在我的示例中传递给 vsnprintf。

接受我自己的答案可能是一种不好的形式，即使它回答了所提出的问题。