🔒 Locked

Boost enable_if, Help Required

Started by Sent1nel Feb 10, 2010 at 1:00 PM 6 replies 2.4k views

Original Post

Feb 10, 2010 at 1:00 PM

I am trying to use boost enable_if for a vector class of which can be set to be of various dimensions. I want to be able to hide specific constructors and functions of which do not apply to all types of vector. The error I am getting is related to the std::size_t in the example below. Could someone show me how to use enable_if? example



template < std::size_t N = 3, typename T = float >
class Vector
{
    Vector(const T &x);
    Vector(const T &x, const T &y);
    Vector(const T &x, const T &y, const T &z);  
    Vector(const T &x, const T &y, const T &z, const T &w);
}

Zipster

Feb 10, 2010 at 1:50 PM

What error are you getting? boost::enable_if/disable_if rely on SFINAE, which means that you need to create a situation in which the compiler won't be able to perform the substitution. For instance:

Vector(const typename boost::enable_if::type& x); Vector(const typename boost::enable_if::type& x, const typename boost::enable_if::type& y);

If N isn't the appropriate values, the enable_if structures don't have type, and the compiler ignores the function definition.

Sent1nel

Feb 10, 2010 at 2:08 PM

Sorry nipped away for some dinner.

The error I am getting if I implement what you just described is

: error C2955: 'boost::enable_if' : use of class template requires template argument list

: error C2974: 'boost::enable_if' : invalid template argument for 'Cond', type expected

template < std::size_t N = 3, typename T = float >class Vector{      Vector(const typename boost::enable_if<N==1,T>::type &x);      Vector(const T &x, const T &y);      Vector(const T &x, const T &y, const T &z);      Vector(const T &x, const T &y, const T &z, const T &w);}

I tried inserting the typename boost::enable_if::type into both the declartion and the actual constructor function.

Zipster

Feb 10, 2010 at 2:50 PM

Er, yes, my bad, try boost::enable_if_c. The first template argument to boost::enable_if actually takes a type that needs a static boolean constant named value. If you wanted, you could use boost::integral_constant, which is probably better since it makes your code compatible with the MPL.

Sent1nel

Feb 10, 2010 at 2:55 PM

I also just tried the boost::enable_if_c, and it compiles but not builds. I get external linker errors.

error LNK2019: unresolved external symbol "public: __thiscall Engine::Maths::Vector<3,float>::Vector<3,float>(float const &,float const &,float const &)" (??0?$Vector@$02M@Maths@Engine@@QAE@ABM00@Z) referenced in function _main Main.obj

:'(

theOcelot

Feb 10, 2010 at 3:05 PM

The definitions of the functions will need to be visible where they're used, if I'm not mistaken. That probably means the whole class will need to be in the header.

Zipster

Feb 10, 2010 at 3:29 PM

Quote:
Original post by theOcelot
The definitions of the functions will need to be visible where they're used, if I'm not mistaken. That probably means the whole class will need to be in the header.

Indeed, since it's a template class, everything needs to be in the header (additional reading). The linker error is simply because you haven't defined the constructor.

Sent1nel

Feb 10, 2010 at 4:02 PM

I moved everything into the class declaration just to make sure it was not that casuing the problems.( I was using a .inl file before splitting the class from the functions ). It's still throwing compile errors. It's not saying "no such thing as type" in enable_if_c, which would mean the boolean condition is getting set as false.

Topic Locked

This topic has been locked by a moderator. New replies are not allowed.