Как использовать source_location в функции шаблона variadic?

Функция С++ 20 std::source_location используется для сбора информации о контексте, в котором вызывается функция. Когда я пытался использовать его с функцией шаблона переменной, я столкнулся с проблемой: я не вижу места для размещения параметра source_location.

Следующее не работает, потому что переменные параметры должны быть в конце:

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

Следующее также не работает, потому что вызывающий будет облажен параметром, вставленным между ними:

// does not 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

Мне сообщили в комментарии, что std::source_location без проблем работает с вариационными шаблонами, но я изо всех сил пытаюсь выяснить, как это сделать. Как я могу использовать std::source_location с функциями шаблона Variadic?

Ответы

Ответ 1

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

Ответ 2

Просто поместите ваши аргументы в кортеж, макрос не нужен.

#include <source_location>
#include <tuple>

template <typename... Args>
void debug(
    std::tuple<Args...> args,
    const std::source_location& loc = std::source_location::current())
{
    std::cout 
        << "debug() called from source location "
        << loc.file_name() << ":" << loc.line()  << '\n';
}

И это работает^*.

Технически вы могли бы просто написать:

template <typename T>
void debug(
    T arg, 
    const std::source_location& loc = std::source_location::current())
{
    std::cout 
        << "debug() called from source location "
        << loc.file_name() << ":" << loc.line()  << '\n';
}

но тогда вам, вероятно, придется прыгнуть через несколько обручей, чтобы получить типы аргументов.

_{* В связанном примере я использую <experimental/source_location>, потому что это то, что компиляторы принимают прямо сейчас. Кроме того, я добавил код для печати аргумента кортежа.}

Ответ 3

Не очень удачное решение, но... как насчет размещения аргументов в std::tuple?

Я имею в виду... что-то вроде

template <typename... Args>
void debug (std::tuple<Args...> && t_args,
            std::source_location const & loc = std::source_location::current());

К сожалению, так вы должны явно назвать std::make_tuple, называя его

debug(std::make_tuple(1, 2l, 3ll));

Ответ 4

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

"работает", но требует указать аргументы шаблона, поскольку они не выводятся, поскольку они не являются последними:

debug<int>(42);

Demo

Возможные (не идеальные) альтернативы включают:

использовать перегрузки с жестко заданным пределом (старый возможный способ "обрабатывать" вариады):

// 0 arguments
void debug(const std::source_location& loc = std::source_location::current());

// 1 argument
template <typename T0>
void debug(T0&& t0,
           const std::source_location& loc = std::source_location::current());

// 2 arguments
template <typename T0, typename T1>
void debug(T0&& t0, T1&& t1,
           const std::source_location& loc = std::source_location::current());

// ...

Demo

поставить source_location на первую позицию без значения по умолчанию:

template <typename... Args>
void debug(const std::source_location& loc, Args&&... args);

debug(std::source_location::current(), 42);

Demo

аналогично перегрузкам, но просто используйте кортеж в качестве группы

template <typename Tuple>
void debug(Tuple&& t,
           const std::source_location& loc = std::source_location::current());

или

template <typename ... Ts>
void debug(const std::tuple<Ts...>& t,
           const std::source_location& loc = std::source_location::current());

с использованием

debug(std::make_tuple(42));

Demo