C++模板类对象实例化遇阻，附相关代码求助

先拆解你代码里的几个核心问题，逐个修正就能解决实例化的问题：

1. 构造函数的重复模板参数声明 #

你的Array类已经是模板类了，声明构造函数时不需要再重复写template<size_t n, typename T>——这会遮蔽类的模板参数，导致编译器无法正确匹配参数关系。

原错误写法：

template<size_t n, typename T> Array(void);

修正后：

Array(void);

2. 模板类静态成员的定义 #

类内声明的静态成员__freeId和__quantity，必须在类外进行模板化的定义，不能像普通类那样直接定义。

3. 模板类实现的位置问题 #

模板类的成员函数如果放在单独的.cpp文件里，编译器在实例化模板时会找不到对应的定义（除非你显式实例化所有需要的模板类型）。常规做法是把实现直接放在头文件里，或者把.cpp改为.inl内联文件后在头文件末尾包含。

修正后的完整代码 #

Array.h

// Developed by Trofimov Yaroslav on 30.03.2018
#ifndef _ARRAY_H_TROFIMOV_
#define _ARRAY_H_TROFIMOV_

#include <iostream>
#include <stdexcept> // 用于越界异常抛出

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 index);
};

// 定义模板类的静态成员
template<size_t n, typename T>
unsigned Array<n, T>::__freeId = 0;

template<size_t n, typename T>
unsigned Array<n, T>::__quantity = 0;

// 成员函数实现直接放在头文件中
template<size_t n, typename T>
Array<n, T>::Array(void) {
    _array = new T[n](); // 对数组元素做值初始化，内置类型会被置0
    _id = __freeId++;
    __quantity++;
}

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

template<size_t n, typename T>
T& Array<n, T>::operator[](const size_t index) {
    // 增加越界检查，避免非法内存访问
    if (index >= n) {
        throw std::out_of_range("Array index out of bounds");
    }
    return _array[index];
}

#endif

实例化示例 #

现在可以正常实例化模板类了，比如：

#include "Array.h"

int main() {
    Array<5, int> intArr;
    intArr[0] = 100;
    std::cout << intArr[0] << std::endl;

    Array<3, std::string> strArr;
    strArr[1] = "hello";
    std::cout << strArr[1] << std::endl;
    return 0;
}

额外提醒：

• 尽量避免使用双下划线开头的标识符（如__freeId），这类名称是C++标准保留给编译器和标准库使用的，可能引发未定义行为，建议改成freeId或_freeId。
• 构造函数里的new T[n]()会对元素做值初始化，若不需要可以去掉()，但保留它能避免内置类型出现未初始化的垃圾值。

内容的提问来源于stack exchange，提问作者ggghahaha