像STD：：INTEGERAL_CONSTANT，但在STD C++20库中有自动模板参数？

从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任何模板。然而，它是相当有限的，因为它只适用于完全接受那些参数的模板，而当类型参数和非类型参数可以混合时，正确处理一般情况是相当困难的。