检查编译器报错函数error(errno, ...)的入参，是否符合要求。

#include <string_view>
#include <type_traits>

// Exposition only
#define FAIL_CONSTEVAL throw

template <typename T>
struct Checker {
    consteval Checker(const char* fmt) {
        if (fmt != std::string_view{ "valid" }) // #1
            FAIL_CONSTEVAL;
        // T must be an int
        if (!std::is_same_v<T, int>)            // #2
            FAIL_CONSTEVAL;
    }
};

template <typename T>
void fmt(std::type_identity_t<Checker<T>> checked, T);

int main() {
    fmt("valid", 10);    // compiles
    fmt("oops", 10);     // fails at #1
    fmt("valid", "foo"); // fails at #2
}

https://devblogs.microsoft.com/cppblog/how-we-used-cpp20-to-eliminate-an-entire-class-of-runtime-bugs/
--
FROM 61.185.187.*

wchar_t或者说编码， 跟这个文章关系不大。

但我想了下，应该没问题。——比较字符串相等，跟在编译期和还是在运行期，关系不大。
编译器读源码文件，打开那一下子，就确定了以什么编码来读，以什么编码内部存储。
执行 const char*　fmt != std::string_view{ "valid" }
和执行 const wchar_t* fmt != std::string_view{ L"valid" }, 就是调用不同的比较算法呗。

【 在 ThisWaySir 的大作中提到: 】
: 厉害，这玩意儿对wchar_t型字符串的支持好不好
:
--
FROM 61.185.158.*

template <typename... Ts>
void error(ErrorNumber n, Ts&&... ts) {
    static_assert(are_arguments_valid<Ts...>(n));
    /* do error stuff */
}
是这样吗？把帖子里的assert改成 static_assert。

这样编译不过，因为要访问n，n不是constexpr.
作者说了，无法把error(...)函数声明为constexpr，因为do error stuff里有很多与constexpr相悖的代码。-- "because it does a lot of constexpr-unfriendly things."

他的逻辑点是，expreval妙在可以命令编译器，编译时就把语句执行了。
他的感情点是，constexpr are_arguments_valid(...)已经能编译时检测了，惜乎功亏2篑:
1 无法silently check. 得改代码，在调用error()之前，加一层。—— 这样的call site太多了……
2 想要silently check，可是error()又无法声明为constexpr。—— 改error动静也太大。
真难。

consteval真好。上了这套后，抓了120处编译器Bug,要么是参数个数不对，要么是类型不对。
【 在 ziqin 的大作中提到: 】
: 它举的那个例子 在c++17里 用static_assert不就行了？
--
FROM 61.185.158.*

你的理解和clang不一致。我在cpprefrence页面上，选择clang 17，报的就是我说的错误。

你可以写个代码，试试别的编译器。
【 在 ziqin 的大作中提到: 】
: n是enum，如果在调用error的时候n直接是literal，应该是可以static assert的，static assert没有要求caller是constexpr。
--
FROM 61.185.158.*