10

このコードでコンパイラ エラーが発生します。

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

次のように：

    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'

私は何を間違っていますか？

テンプレート化された関数をこれに置き換えると、コードは正常にコンパイルされます。

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

これを次のように置き換えてもコンパイルされます。

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

また、次のように 2 番目の引数を渡した場合もコンパイルされます。

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

これもコンパイルされません:

setName<FooPtr>(foo);

更新：

別の例を次に示します。

#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); 
}
4

1 に答える 1

4

これは VS のバグです。デモ：

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);
}
于 2013-05-23T11:40:50.437 に答える