像STD::INTEGERAL_CONSTANT,但在STD C++20库中有自动模板参数?

2022-05-16 00:00:00 c++ compile-time-constant c++20 auto

从C++20开始,可以使用auto模板参数实现整型常量:

Try it online!

template <auto Value>
struct integral_constant2
    : std::integral_constant<decltype(Value), Value> {};

它可以用来代替有两个模板参数的更冗长的变体std::integral_constant。

确保编写f(std::integral_constant2<123>{});比编写更冗长的f(std::integral_constant<int, 123>{});更容易。更重要的是,如果您有复杂的编译时表达式,您可能不会提前知道类型。

我的问题是,在C++20STD库中是否存在类似于上面提到的,而不是重新发明轮子?或者至少有一些标准的constexpr函数std::make_integral_constant(123)推导出std::integral_constant的模板参数?


解决方案

不,我不知道有这样的替换。

我认为,鉴于编写自己的提案是多么容易,为这样的提案辩护将是困难的。另一方面,唯一的原因可能是还没有人提出。


主要是出于好奇,并在评论的基础上进行扩展,您可以通过以下方式更进一步:

#include <type_traits>

template <auto Value, template<typename A, A> typename C>
using automized = C< decltype(Value),Value>;

template <auto Value>
using integral_constant = automized<Value,std::integral_constant>;

int main() {
    struct S {};
    integral_constant<true> c0{};
    integral_constant<10> c1{};
    integral_constant<S{}> c2{};
}
automized将允许将auto参数转发到获取typename T, T value任何模板。然而,它是相当有限的,因为它只适用于完全接受那些参数的模板,而当类型参数和非类型参数可以混合时,正确处理一般情况是相当困难的。

相关文章