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

Question

I have the following class:

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_;
};

And attempt to instantiate an automatic variable like this:

AlignedMemory blah(512, 512);

This gives the following error:

src/cpfs/entry.cpp:438: error: missing template arguments before 'blah'

What am I doing wrong? Is void not an allowed default parameter?

Answer 1

I think that you need to write:

AlignedMemory<> blah(512, 512);

See 14.3 [temp.arg] / 4:

When default template-arguments are used, a template-argument list can be empty. In that case the empty <> brackets shall still be used as the template-argument-list .

Answer 2

Your syntax is wrong:

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

Correct syntax is this:

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

---

The error message itself gives this hint. Look at it again:

src/cpfs/entry.cpp:438: error: missing template arguments before 'buf'

PS: I'm sure 'buf' is a typo. You wanted to write 'blah' - the name of your variable!