c++ - 标准 C++ 中的类型持有者

Question

std C++ 库中有这样的东西吗？

template <typename T>
struct TypeHolder { using type = T; };

即仅用于传递类型并存储它的特殊结构。我的想法是我想按值将它传递到函数内部，例如:

Try it online!

void f(auto th) { typename decltype(th)::type val{}; }
void h() {
    auto g = [](auto th){ typename decltype(th)::type val{}; };
    f(TypeHolder<int>());
    g(TypeHolder<int>());
}

因为我可以传递类型为 template <typename T>但现在我想按值传递它作为自动函数和/或非模板化 lambda 参数之一。

存在 std::integral_constant这在某种程度上可用于类型持有，但它不适合我，因为我不想提供我的类型的值和/或实例化值。不仅如此，我还有非结构类型，因此我无法在 std::integral_constant 中提供它的值。

当然我可以使用模板结构TypeHolder上面在代码中提到，但我正在寻找基于标准库的解决方案(如果存在)，而不是重新发明轮子。

Answer 1

从 C++20 开始，您可以使用 std::type_identity这正是您想要的类型。

f(std::type_identity<int>());
g(std::type_identity<int>());

demo