为什么不允许使用此默认模板参数？

Question

我有以下课程:

template <typename Type = void>
class AlignedMemory {
public:
    AlignedMemory(size_t alignment, size_t size)
        :   memptr_(0) {
        int iret(posix_memalign((void **)&memptr_, alignment, size));
        if (iret) throw system_error("posix_memalign");
    }
    virtual ~AlignedMemory() {
        free(memptr_);
    }
    operator Type *() const { return memptr_; }
    Type *operator->() const { return memptr_; }
    //operator Type &() { return *memptr_; }
    //Type &operator[](size_t index) const;
private:
    Type *memptr_;
};

并尝试实例化一个自动变量,如下所示:

AlignedMemory blah(512, 512);

这会出现以下错误:

src/cpfs/entry.cpp:438:错误:'blah'之前缺少模板参数

我究竟做错了什么？是void不是允许的默认参数？

Answer 1

我想你需要写:

AlignedMemory<> blah(512, 512);

见14.3 [temp.arg]/4:

使用默认模板参数时,模板参数列表可以为空.在这种情况下,空<>括号仍应用作模板参数列表.

Answer 2

你的语法错了:

AlignedMemory blah(512, 512); //wrong syntax

正确的语法是这样的:

AlignedMemory<> blah(512, 512); //this uses "void" as default type!

错误消息本身给出了这个提示.再看一遍:

src/cpfs/entry.cpp:438:错误: 'buf' 之前缺少模板参数

PS:我确定'buf'是一个错字.你想写'blah' - 变量的名字!