组合函数参数包和默认参数

Question

我有一个带有参数包的函数:

template<typename... Targs>
void tprintf(const char* format, Targs... args) {}

（实现应该不重要，签名才重要）。 我想使用gcc/clang内置函数添加source position作为默认参数。 类似于

template<typename... Targs>
void tprintf(const char* format, Targs... args,
             const char* file = __builtin_FILE(),
             unsigned line = __builtin_LINE()) {}

这将进行编译，但对它的调用并不像我所希望的那样将参数传递给args； 例如。

tprintf("%d%s", 0, "a");

gives（on Clang 10）

<source>:7:5: error: no matching function for call to 'tprintf'
    tprintf("%d%s", 0, "a");    
    ^~~~~~~
<source>:2:6: note: candidate function template not viable: no known conversion from 'const char [2]' to 'unsigned int' for 3rd argument
void tprintf(const char* format, Targs... args,    
     ^

这似乎表明args是空的，0是文件，“A”是行。

实际上，在编写这个问题时，我发现显式地传递targs是有效的:

tprintf<int, char*>("%d%s", 0, "a");

这有可能避免吗？

Answer 1

解决方案是我们C++20的std::source_location:

#include <iostream>
#include <source_location>

template<typename... Targs, auto location = source_location::current()>
auto tprintf(char const* format, Targs const&... args) -> void {
    std::cout
        << std::format("{}:{}: ", location.file_name(), location.line())
        << std::format(format, args...);
}

auto main() -> int {
    tprintf("hello {}", "world"); // prints "example.cpp:12: hello world"
}

如果C++20不是一个选项（尤其是在目前这个时候，编译器不支持源位置），那么有一种方法可以在没有宏的情况下做到这一点。 您可以简单地对编译内置进行一点间接操作。

不能将默认参数放在变量参数之后，但可以将它们放在第一个参数的构造函数中，以具有相同的效果:

#include <cstdio>

struct location_and_format {
    constexpr location_and_format(
        char const* _format,
        char const* _file_name = __builtin_FILE(),
        unsigned _line = __builtin_LINE()
    ) noexcept : format{_format}, file_name{_file_name}, line{_line} {}

    char const* format;
    char const* file_name;
    unsigned line;
};

template<typename... Targs>
void tprintf(location_and_format format, Targs... args) {
    printf("%s:%u: ", format.file_name, format.line);
    printf(format.format, args...);
}

int main() {
    tprintf("hello %s", "world"); // prints example.cpp:22: hello world
}

活生生的例子

Answer 2

使用变量宏怎么样？

template<typename... Targs>
void tprintfhelper(const char* f, int l, const char* format, Targs... ) 
{
    std::cout << format << " " << l << " " << f << std::endl;
}

#define tprintf(...) tprintfhelper(__builtin_FILE(), __builtin_LINE() __VA_OPT__(,) ##__VA_ARGS__)

int main()
{
    tprintf("%d", 1, 2, 3, 4, 5, "dog");
}