如何在编译时打印由元函数生成的std::string_view字符串值？

当然可以！在C中，我们可以利用编译器的错误报告机制（尤其是模板实例化错误）来在编译时输出std::string_view的内容，最常用的方式是通过模板参数触发错误或者结合static_assert。下面分不同C版本给出具体方案：

方案1：C++20及以上（最简单） #

从C++20开始，std::string_view可以作为非类型模板参数（只要它指向的是编译期常量字符串）。我们可以定义一个未实现的模板，然后用你的string_view实例作为参数去实例化它，编译器会在错误信息中显示这个模板参数的具体值：

#include <string_view>

// 你的元函数定义
template<typename T> struct type_to_string;
template <typename T> constexpr std::string_view type_to_string_v = type_to_string<T>::value;

// 特化示例：比如int类型返回"int"
template<> struct type_to_string<int> {
    static constexpr std::string_view value = "int";
};

// 用于触发编译错误的模板（无需实现）
template<std::string_view S>
struct CompileTimeStringPrinter;

int main() {
    constexpr auto sv = type_to_string_v<int>; // 这里替换成你的very_complex_expression
    CompileTimeStringPrinter<sv> printer; // 触发错误
    return 0;
}

当你编译这段代码时，GCC/Clang会输出类似这样的错误：

error: implicit instantiation of undefined template 'CompileTimeStringPrinter<"int">'

你就能直接看到string_view的内容"int"了。

如果你想用static_assert来更明确地提示信息，也可以这么写：

template<std::string_view S>
struct AssertPrinter {
    // 用依赖于S的false，确保编译器必须实例化并显示S的值
    static_assert(!S.empty(), "Compile-time string value: ");
};

// 使用方式
constexpr auto sv = type_to_string_v<very_complex_expression>;
AssertPrinter<sv>{};

编译器会输出类似：

error: static assertion failed: Compile-time string value:
note: instantiated from 'AssertPrinter<"your_string_here">'

方案2：C++17及以下（兼容旧标准） #

C++17及更早版本不支持std::string_view作为非类型模板参数，我们可以把string_view的字符序列转换成模板参数包，再通过未实现的模板触发错误：

#include <string_view>
#include <utility>

// 你的元函数定义
template<typename T> struct type_to_string;
template <typename T> constexpr std::string_view type_to_string_v = type_to_string<T>::value;

template<> struct type_to_string<int> {
    static constexpr std::string_view value = "int";
};

// 接受字符参数包的未实现模板
template<char... Chars>
struct CharSequencePrinter;

// 辅助函数：把编译期字符串转换成字符参数包
template<std::size_t N, std::size_t... Is>
constexpr auto print_chars(const char (&str)[N], std::index_sequence<Is...>) {
    return CharSequencePrinter<str[Is]...>{};
}

// 针对string_view的包装函数
constexpr auto print_string_view(std::string_view sv) {
    // 这里要求sv指向的是编译期常量数组，否则无法转换
    return print_chars(sv.data(), std::make_index_sequence<sv.size()>{});
}

int main() {
    constexpr auto sv = type_to_string_v<int>;
    print_string_view(sv); // 触发错误
    return 0;
}

编译时，编译器会输出类似：

error: implicit instantiation of undefined template 'CharSequencePrinter<'i', 'n', 't'>'

通过这些字符参数，你就能拼出原字符串的内容了。

注意事项 #

• 你的type_to_string_v<T>返回的string_view必须指向编译期常量内存（比如字符串字面量、constexpr字符数组），否则上述方法无法工作。
• 不同编译器的错误信息格式可能略有不同，但都会显示模板参数的具体值，这是这类方法的核心依赖。

内容的提问来源于stack exchange，提问作者Benno