Template functions as default template parameters

Question

My class declaration begins as follows:

template< 
    class P, 
    class B, 
    class comparePosition = compareHorizontal< P >
>
class BlahBlah  { ...

where compareHorizontal is a template function. When I attempt to compile, clang spits out

[...]/entity.hpp:57:33: error: type name requires a specifier or qualifier
        class comparePosition = compareHorizontal< P >
                                ^

[...]/entity.hpp:57:33: error: C++ requires a type specifier for all declarations
        class comparePosition = compareHorizontal< P >
                                ^~~~~~~~~~~~~~~~~

(and a whole lot of other errors on the same line).

If I just remove the default template parameter, leaving all else intact, it compiles just fine. So I wonder, how would I use a function template as a default argument, if that's even possible? Or would I be better off just making a functor class with an operator() that calls compareHorizontal and use that instead?

Then that should answer your question, a function is not a class (or a type at all), and that's what you expect with class comparePosition. — Xeo
– Xeo, Commented Feb 1, 2013 at 12:47

user2026095 · Accepted Answer · 2013-02-01 12:47:18Z

1

I think the reason is that the template function is not a type. It is a specific value if you think of it, the type of the function goes something like this:

  template<
       class P,
       class B,
       class C=bool (*)(P&)
   >
   class BlahBlah  {
   };

and it compiles. It is as if you said class C=5; this also will not compile, because 5 is not a type. I suggest you use a struct in such case.

answered Feb 1, 2013 at 12:47

user2026095

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Template functions as default template parameters

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related