c++ - 如何在可变参数模板函数中使用 source_location？

Question

C++20 特性 std::source_location 用于捕获有关调用函数的上下文的信息。当我尝试将它与可变参数模板函数一起使用时，我遇到了一个问题:我看不到放置 source_location 参数的地方。

以下不起作用，因为可变参数必须在末尾:

// doesn't work
template <typename... Args>
void debug(Args&&... args,
           const std::source_location& loc = std::source_location::current());

以下也不起作用，因为调用者将被插入其中的参数搞砸:

// doesn't work either, because ...
template <typename... Args>
void debug(const std::source_location& loc = std::source_location::current(),
           Args&&... args);

// the caller will get confused
debug(42); // error: cannot convert 42 to std::source_location

我在 comment 中得到通知std::source_location 与可变参数模板无缝工作，但我很难弄清楚如何。如何将 std::source_location 与可变参数模板函数一起使用？

Answer 1

第一种形式可以通过添加 deduction guide 来实现。 :

template <typename... Ts>
struct debug
{    
    debug(Ts&&... ts, const std::source_location& loc = std::source_location::current());
};

template <typename... Ts>
debug(Ts&&...) -> debug<Ts...>;

测试:

int main()
{
    debug(5, 'A', 3.14f, "foo");
}

DEMO