在 C++ 中实例化模板类类型的对象

Question

我在用 C++ 实例化模板类类型的对象时遇到问题。

代码如下：

数组.h：

//Developed by Trofimov Yaroslav on 30.03.2018

#ifndef _ARRAY_H_TROFIMOV_
#define _ARRAY_H_TROFIMOV_

template<size_t n, typename T>
class Array
{
        static unsigned __freeId, __quantity;
        unsigned _id;

        T* _array;
public:
        template<size_t n, typename T>
        Array(void);
        ~Array(void);
        T& operator[](const size_t);
};
#include "Array.cpp"

#endif

数组.cpp：

//Developed by Trofimov Yaroslav on 30.03.2018
#include "Array.h"

template<size_t n, typename T>
Array::Array(void) 
    : _id(++__freeId), _array(new T[]) {

}

template<size_t n, typename T>
Array::~Array(void) {

}

template<size_t n, typename T>
T& Array::operator[](const size_t i) {

}

Main.cpp：

//Developed by Trofimov Yaroslav on 30.03.2018
#include <iostream>
#include "Array.h"

int main(void) {
    Array<7, int> a;
    return 0;
}

现在，当我将鼠标悬停在 Main.cpp 中的 a 上时，我看到以下内容：

错误：类“Array”不存在默认构造函数

但正如您所见，默认模板构造函数确实存在。那么，我在这里缺少什么？

Answer 1

您的代码中有多个错误。

在你的头文件中，你需要从构造函数中删除额外的template，它不属于那里。

在您的 cpp 文件中，您需要将所有 Array:: 替换为 Array<n, T>::。您的构造函数需要将n 传递给new[]。你的析构函数需要delete[] 数组。而operator[] 需要返回一些东西。

您的类有static 成员，因此您还需要实例化它们的实例。

试试这个：

数组.h

#ifndef _ARRAY_H_TROFIMOV_
#define _ARRAY_H_TROFIMOV_ 

template<size_t n, typename T>
class Array
{
        static unsigned __freeId, __quantity;
        unsigned _id;

        T* _array;
public:
        Array(void);
        ~Array(void);
        T& operator[](const size_t);
};

#include "Array.cpp"

#endif

数组.cpp

#include "Array.h" 

template<size_t n, typename T>
Array<n, T>::Array(void) 
    : _id(++__freeId), _array(new T[n]) {
}

template<size_t n, typename T>
Array<n, T>::~Array(void) {
    delete[] _array;
}

template<size_t n, typename T>
T& Array<n, T>::operator[](const size_t i) {
    return _array[i];
}

Main.cpp

#include "Array.h"

template<> unsigned Array<7, int>::__freeId = 0;
template<> unsigned Array<7, int>::__quantity = 0;

int main() {
    Array<7, int> a;
    return 0;
}

Live deno

Answer 2

在类中声明方法或构造函数时不需要使用模板。您声明的构造函数是模板类中的模板方法，而不是默认构造函数。

我从不依赖智能感知的错误，有时它是完全错误的，运行编译器通常会产生更准确更详细的错误消息。