Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Template a shared_ptr argument

I get a compiler error for this code:

#include <boost/shared_ptr.hpp>
#include <boost/make_shared.hpp>

struct Name
{
};
typedef boost::shared_ptr<Name> NamePtr;

struct Foo
{
    NamePtr name;
};
typedef boost::shared_ptr<Foo> FooPtr;

template<class T>
void setName(T item, NamePtr name = boost::make_shared<Name>() )
{
    item->name = name;  
}

int main()
{
    FooPtr foo = boost::make_shared<Foo>();
    setName(foo);
    return 0;
}

as follows:

    main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&,A4 &&,A5 &&,A6 &&,A7 &&,A8 &&,A9 &&)' : expects 9 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(590) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&,A4 &&,A5 &&,A6 &&,A7 &&,A8 &&)' : expects 8 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(534) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&,A4 &&,A5 &&,A6 &&,A7 &&)' : expects 7 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(480) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&,A4 &&,A5 &&,A6 &&)' : expects 6 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(428) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&,A4 &&,A5 &&)' : expects 5 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(378) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&,A4 &&)' : expects 4 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(330) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&,A3 &&)' : expects 3 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(284) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&,A2 &&)' : expects 2 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(240) : see declaration of 'boost::make_shared'
1>main.cpp: error C2780: 'boost::shared_ptr<X> boost::make_shared(A1 &&)' : expects 1 arguments - 0 provided
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(198) : see declaration of 'boost::make_shared'
1>main.cpp: error C2783: 'boost::shared_ptr<X> boost::make_shared(void)' : could not deduce template argument for 'T'
1>          c:\users\ebargri\desktop\boost_1_49_0\boost\smart_ptr\make_shared.hpp(121) : see declaration of 'boost::make_shared'

What am I doing wrong?

If I replace the templated function with this, the code compiles fine:

void setName(FooPtr item, NamePtr name = boost::make_shared<Name>())
{
    item->name = name;  
}

It will also compile if I replace it with this:

template<class T>
void setName(T item)
{
}

And it will also compile if I pass in the second argument as follows:

FooPtr foo = boost::make_shared<Foo>();
NamePtr name = boost::make_shared<Name>();
setName(foo, name);

This doesn't compile either:

setName<FooPtr>(foo);

UPDATE:

Here's another example:

#include <boost/shared_ptr.hpp> 
#include <boost/make_shared.hpp> 

template<class T> 
void f(T item, boost::shared_ptr<int> name = boost::make_shared<int>()) 
{ 
} 

int main() 
{ 
    f(0); 
}
like image 462
Baz Avatar asked May 23 '13 09:05

Baz


1 Answers

This is a VS bug. Demo:

namespace foo {
  template <typename T> class A {};
  template<typename T> A<T> mk_A() { return A<T>(); } 
}

template<class T> 
void f(T item, foo::A<int> x = foo::mk_A<int>()) { } // triggers the bug

using foo::mk_A;
template<class T> 
void g(T item, foo::A<int> x = mk_A<int>()) { } // does not trigger the bug


int main () {
  f(0); g(0);
}
like image 81
n. 1.8e9-where's-my-share m. Avatar answered Nov 14 '22 16:11

n. 1.8e9-where's-my-share m.