Home/ Questions/Q 7420511
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-29T08:15:07+00:00

can someone explain why the compiler accepts only this code template<typename L, size_t offset,

  • 0

can someone explain why the compiler accepts only this code

template<typename L, size_t offset, typename enable_if< (offset<sizeof(L)), int >::type =0>
void a_function(){}

template<typename L, size_t offset, typename enable_if< (offset==sizeof(L)), int >::type =0>
void a_function(){}

but not this:

template<typename L, size_t offset, typename enable_if< (offset<sizeof(L)), int >::type =0>
class a_class{};

template<typename L, size_t offset, typename enable_if< (offset==sizeof(L)), int >::type =0>
class a_class{};

The compiler sees the second class template as a redefinition of the first.

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    You have to use specialization for classes. Typically, it is done with an extra parameter:

    template <class P, class dummy = void>
class T;

template <class P>
class T<P, typename enable_if<something, void>::type> {
   the real thing
};

    Two class (or class template) declarations with the same name should always declare the same class or class template (or be a specialization, in which case it is still the same template).

    • 0