推论具有默认参数的variadic模板参数

Question

我正在尝试创建一个基本的记录仪。这是一个小例子。

template<typename ...str>
struct log {
    log(
        str &&...args,
        const char  *file = __builtin_FILE(),
        const char  *func = __builtin_FUNCTION(),
        const size_t line = __builtin_LINE()
    ) {

        std::cout << "[" << file << "] [" << func << "] [" << line << "] ";
        ((std::cout << args << " "), ...);
        std::cout << std::endl;
    }
};

template<typename ...str>
log(str &&...args) -> log<str ...>;

我希望能够接收呼叫者信息以及可变数量的参数。在上面的示例中，我可以创建一个这样的实例。

log inst("THIS WORKS", "ASD", "ASD");

>>> [.../main.cpp] [main] [10] THIS WORKS ASD ASD

我还希望能够指定记录级别。这是麻烦开始的地方。假设我有以下记录级别的枚举，我想让它成为记录器的模板参数。以下是我认为这会起作用的方式。

enum logging_level {
    INFO,
};

template<logging_level level, typename ...str>
struct log {
    ...
};

template<logging_level level, typename ...str>
log(str &&...args) -> log<level, str ...>;

log<INFO> inst("THIS DOESN'T WORK", "ASD", "ASD");

我在这里得到的错误是，参数传递到默认参数中，而不是variadic参数中。

>>> error: invalid conversion from ‘const char*’ to ‘size_t’ {aka ‘long unsigned int’} [-fpermissive]
>>>    33 |     log<INFO> inst("THIS DOESN'T WORK", "ASD", "ASD");
>>>       |                                                ^~~~~
>>>       |                                                |
>>>       |                                                const char*

这远远超过了我的C ++模板知识。一个简单的解决方案是抛弃variadic模板，然后通过一个字符串，但我想看看这是否可以工作。有人知道如何进行编译吗？

谢谢。

Answer 1

您不能在某些论点上使用CTAD，而不能在其他论点上使用。尽管使用标签调度，您可以使类似的语法工作。您需要将日志级别的规范移至参数列表，以实现这一目标。

请注意，在下面的示例中，我正在使用std :: source_location（C ++ 20）独立编译器：

enum class LogLevel
{
    INFO
};

template<LogLevel logLevel>
struct LogLevelInfoTag {
    constexpr operator LogLevel()
    {
        return logLevel;
    }
};

constinit LogLevelInfoTag<LogLevel::INFO> INFO;

template<LogLevel logLevel, typename ...str>
struct log {
    log(
        LogLevelInfoTag<logLevel>,
        str &&...args,
        std::source_location location = std::source_location::current()
    ) {

        std::cout << "[" << location.file_name() << "] [" << location.function_name() << "] [" << location.line() << "] ";
        ((std::cout << args << " "), ...);
        std::cout << std::endl;
    }
};

template<LogLevel logLevel, typename ...str>
log(LogLevelInfoTag<logLevel>, str &&...args) -> log<logLevel, str ...>;

// log<INFO> inst("THIS DOESN'T WORK", "ASD", "ASD"); // (desired syntax)
log inst(INFO, "THIS DOESN'T WORK", "ASD", "ASD");