std::make_shared 作为默认参数无法编译

Question

在 Visual C++（2008 和 2010）中，以下代码无法编译，并出现以下错误：

#include <memory>

void Foo( std::shared_ptr< int >    test = ::std::make_shared< int >( 5 ) )
{
}

class P
{
    void
    Foo( std::shared_ptr< int > test = ::std::make_shared< int >( 5 ) )
    {
    }
};

错误 C2039: 'make_shared' : 不是 '`全局命名空间'' 的成员

错误 C3861: 'make_shared': 找不到标识符

它是抱怨 P::Foo() 而不是 ::Foo() 的定义。

有谁知道为什么 Foo() 有一个 std::make_shared 的默认参数是有效的，但 P::Foo() 却不是？

Answer 1

它看起来像是编译器中的错误。以下是重现该问题所需的最少代码：

namespace ns
{
    template <typename T>
    class test
    {
    };

    template <typename T>
    test<T> func()
    {
        return test<T>();
    }
}

// Works:
void f(ns::test<int> = ns::func<int>()) { }

class test2
{
    // Doesn't work:
    void g(ns::test<int> = ns::func<int>()) 
    { 
    }
};

Visual C++ 2008 和 2010 均报告：

错误 C2783: 'ns::test; ns::func(void)'：无法推断出“T”的模板参数

Comeau 对此代码没有任何问题。

Answer 2

我在自己的代码中遇到了似乎相同的问题。我将其归结为以下的最少代码：

namespace N
{
    template<typename T>
    T defaultValue()
    {
        return T();
    }

    template<typename T>
    void fun( const T& value = N::defaultValue<T>() ){}
}

int main(int argc, char* argv[])
{
    N::fun<int>();
    return 0;
}

这与 James McNellis 的示例略有不同 - 而且我认为，它强调了这样一个事实：默认参数初始化程序中的名称空间限定出了问题。

在这种情况下，defaultValue 和 fun 位于同一命名空间中，因此您可以轻松地从 N::defaultValue 中删除 N:: ，并且它可以工作。

如果 defaultValue 位于不同的命名空间中，您仍然可以通过使用 using 将其带入本地命名空间或编写本地转发模板函数来解决它，例如：

namespace N1
{
    template<typename T>
    T defaultValue()
    {
        return T();
    }
}
namespace N2
{
    template<typename T>
    T defaultValueFwd()
    {
        return N1::defaultValue<T>();
    }

    template<typename T>
    void fun( const T& value = defaultValueFwd<T>() ){}
}

int main(int argc, char* argv[])
{
    N2::fun<int>();
    return 0;
}

有点痛苦，但可行。我相信您可以在 make_shared 情况下使用此技术，尽管我还没有尝试过。