模板模板参数实现PolyLine类报错：模板参数数量不足

你遇到的这个“too few template arguments”错误，核心问题是在实现构造函数时，对PolyLine的模板实参指定方式搞错了。咱们一步步来修正：

问题根源 #

你的PolyLine类声明时用了三个模板参数：

• 元素类型T
• 容器模板Container（模板模板参数）
• 分配器类型alloc（带默认值）

但在实现构造函数时，你写成了PolyLine<Container<T, alloc>>——这相当于试图把实例化后的容器类型作为PolyLine的唯一模板参数，可PolyLine明明需要三个参数，编译器自然会报错说参数不够。

修正后的构造函数实现 #

把构造函数的模板参数列表和类名的模板实参都调整成和类声明匹配的形式：

#include "PolyLine.hpp"

// 模板参数列表和类声明保持一致，注意这里不需要重复alloc的默认参数（类声明里已经定义过了）
template<typename T, template<typename, typename> class Container, typename alloc>
PolyLine<T, Container, alloc>::PolyLine(size_t size, double distance) 
    : CAD::Shape(), _n_points(size) 
{
    // 这里可以补充初始化_pline的逻辑，比如根据distance创建size个点并加入容器
    // 示例：假设T是Point类型，默认构造后调整位置
    for (size_t i = 0; i < size; ++i) {
        _pline.emplace_back(i * distance, 0.0);
    }
}

关键说明 #

1. 模板参数匹配：实现类的模板成员函数时，模板参数列表必须和类声明完全对应，包括顺序和类型（这里的Container是模板模板参数，不能写成普通类型参数）。
2. 类名的模板实参：必须明确传入PolyLine要求的三个参数：T、Container（容器模板本身，不是实例化后的类型）、alloc。
3. 默认参数的处理：类声明中已经给alloc指定了std::allocator<T>作为默认值，所以在实现成员函数时，模板参数列表里不需要再重复写= std::allocator<T>，避免冲突。

实例化示例 #

修正后，你可以这样正常使用PolyLine类：

// 使用std::vector作为内部容器，用默认分配器
PolyLine<Point, std::vector> myPolyLine(5, 1.5);
// 使用std::list作为内部容器，自定义分配器
PolyLine<Point, std::list, MyCustomAllocator<Point>> myListPolyLine(3, 2.0);

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