专门化模板功能返回向量

Question

假设我在文件上有一个读者类：

class Reader {
public:
    template <class T>
    T Read();
};

它的唯一函数是读取函数，读取任何算术类型（static_assert（std :: is_arithmetic_v＆lt; t＆gt; t＆gt;））文件。现在，我想创建该功能的专业化，该功能从文件中读取向量。我将如何使用模板进行操作？像以下内容不起作用：

template <class T>
std::vector<T> Read<std::vector<T>>();

error: function template partial specialization is not allowed
std::vector<U> Read<std::vector<U>>();
               ^   ~~~~~~~~~~~~~~~~

Answer 1

您不能部分地专业化功能。不过，您可以超载它们，但是这样做的方式并不明显，因为您的功能没有任何参数。

首先，您需要一种方法来检查一种类型是否为std :: vector＆lt; ??＆gt;：

template <typename T> struct IsVector : std::false_type {};
template <typename ...P> struct IsVector<std::vector<P...>> : std::true_type {};

然后，您可以将其插入需要 ：

template <typename T>
T Read()
{
    // Generic overload
}

template <typename T> requires IsVector<T>::value
T Read()
{
    // Vector overload
}

另外，您可以拥有一个单个功能，具有，如果constexpr（ISVector＆lt; t＆gt; :: value）内部。

Answer 2

实施您想要的方法是将成员函数的逻辑委托给几个私人成员函数：

#include <cstdio>
#include <vector>

class BinaryReader {
   public:
    template <class T>
    T Read() {
        T t{};
        this->ReadImpl(t);
        return t;
    }

private:
    template <class T>
    void ReadImpl(T& t) {
        static_assert(std::is_arithmetic_v<T>);
        std::puts("T");
        t = T{}; // implement your logic here
    }

    template <class T>
    void ReadImpl(std::vector<T>& t) {
        std::puts("std::vector<T>");
        t = std::vector<T>{}; // implement your logic here
    }
};

int main() {
    BinaryReader br;
    br.Read<int>();
    br.Read<std::vector<int>>();
}

这不需要您引入新的类型特征以检查您的类型是否为std :: vector＆lt; ＆gt;。但是，它要求您的返回类型默认可构建。

输出：

T
std::vector<T>