检查类型是否是模板的实例化

Question

我想在编译期间检查类型是否是特定模板的实例化。

例如：

1. std::vector<int>是std::vector实例化
2. std::array<int, 5>是std::array实例化

我可以进行适用于案例1的测试，但不适用于案例2。

#include <iostream>
#include <type_traits>
#include <string>
#include <vector>
#include <array>
#include <queue>
template<template<typename...> class, typename...>
struct is_instantiation : public std::false_type {};

template<template<typename...> class U, typename... T>
struct is_instantiation<U, U<T...>> : public std::true_type {};

int main() {
    using A = std::vector<int>;
    std::cout << is_instantiation<std::vector, A>::value << "\n";
    std::cout << is_instantiation<std::queue, A>::value << "\n";
    // std::cout << is_instantiation<std::array, A>::value << "\n";
}

如何让它适用于这两种情况？

我试过汽车，但无法使它工作。

C ++中模板参数中auto的优点17

Answer 1

Spezialized std :: array size

我看到的唯一方法是使用预定义的数组大小制作专门的Array类。 像这样的东西：

#include <iostream>
#include <type_traits>
#include <string>
#include <vector>
#include <array>
#include <queue>
template<template<typename...> class, typename...>
struct is_instantiation : public std::false_type {};

template<template<typename...> class U, typename... T>
struct is_instantiation<U, U<T...>> : public std::true_type {};

template <class T> class My5Array {
    public:
    My5Array() { }
    private:
    std::array<T, 5> arr;
};

template <class T> class My10Array {
    public:
    My10Array() { }
    private:
    std::array<T, 10> arr;
};

int main() {
    using A = std::vector<int>;
    using B = My5Array<int>;
    std::cout << is_instantiation<std::vector, A>::value << "\n";
    std::cout << is_instantiation<std::queue, A>::value << "\n";
    std::cout << is_instantiation<My5Array, A>::value << "\n";
    std::cout << is_instantiation<My5Array, B>::value << "\n";
    std::cout << is_instantiation<My10Array, B>::value << "\n";
}

版画

1
0
0
1
0

当然，也有缺点：

• 由于固定的阵列大小，可能会浪费内存
• 所需数组大小所需的多个类
• 使用非标准类型的MyXArray
• 显然，My5Array的一个实例不能同时成为My10Array的一个实例（参见上面代码中的var B）

第一种可能的选择：std :: dynarray

我还发现了std :: dynarray，它可以代替std :: array工作，但我认为它还没有包含在最新的C ++标准中。 也许值得关注它。

第二种可能的选择：让它下降

可用的标准容器可能足以满足大多数应用。