我正在尝试使用模板函数返回模板类构造函数中参数的默认值。函数的模板参数也是类的模板参数。我在下面提供了一个示例。

背景 该示例显示了确切的用例和依赖项，因为它们也出现在我的应用程序中。 X 类实际上是一个相当大的类，它管理一个大数据 block ，该大数据 block 被分成更小的 block 。类助手是一个内存管理器，它以较小的 block 大小分配和释放内存。实际上，GetHelper 函数会在运行时尝试推导出 Helper 的一些构造函数参数，所以这就是我使用这种设计的原因。

实际问题 当定义了宏 USE_NS 和 SHOW_ERROR 时，代码无法编译，在第 66 行给出错误 C2783 无法推断模板参数。这是我尝试使用模板函数初始化构造函数参数的地方GetHelper(提供模板参数!)。请记住，GetHelper 来自与类 X 不同的 namespace 。还请注意，在第 72 行中使用了相同的函数调用来初始化构造函数体内的 Helper 对象。怎么了？有解决方案或解决方法吗？

我正在使用 Visual Studio 2008 Pro 和 boost 1.47。

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

// 1 means macro is defined
// USE_NS 1 and SHOW_ERROR 1 -> Compileerror
// USE_NS 0 and SHOW_ERROR 1 -> Works, Output: 8 and 16.5
// USE_NS 1 and SHOW_ERROR 0 -> Works, Output: 3
// USE_NS 0 and SHOW_ERROR 0 -> Works, Output: 3


#define USE_NS
#define SHOW_ERROR


#ifndef USE_NS
#define NH 
#define NX
#endif

#ifdef USE_NS
namespace NH
{
#endif

template< typename TNumAtH, size_t TSizeAtH>
class Helper
{
public:
    TNumAtH* x;

    Helper()
    {
        x = new TNumAtH[TSizeAtH];
        x[0] = static_cast< TNumAtH >( 8 );
    }

    ~Helper()
    {
        delete [] x;
    }
};

template <typename TNumAtF, size_t TSizeAtF >
boost::shared_ptr< Helper< TNumAtF, TSizeAtF > > GetHelper()
{
    return boost::shared_ptr< Helper< TNumAtF,TSizeAtF > > ( new Helper< TNumAtF, TSizeAtF >() );
}

#ifdef USE_NS
}

namespace NX
{
#endif

template< typename TNumAtX, size_t TSize >
class X
{
public:
    boost::shared_ptr< NH::Helper< TNumAtX, TSize > > a;

#ifdef SHOW_ERROR
    //this produces an error if namespace are used, if no namespaces are used
    //NH is reduced to a blank (see macros at line 17 and 18
    X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h = NH::GetHelper< TNumAtX, TSize >() );
#endif

    X( TNumAtX firstElem )
    {
        //this works with namespaces and without namespaces
        a = NH::GetHelper< TNumAtX, TSize >();
        a->x[0] = firstElem;
    }

    TNumAtX GetNum()
    {
        return a->x[0];
    }

};

#ifdef SHOW_ERROR
template< typename TNumAtX, size_t TSize >
X<TNumAtX, TSize>::
X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h ) : a( h )
{
}
#endif

#ifdef USE_NS
}
#endif


int main( int argc, char** argv )
{
    std::cout << "Hello at TestTemplateFunction" << std::endl;
    //use case one
#ifdef SHOW_ERROR
    NX::X<int, 5> x1;
#else
    NX::X<int, 5> x1( 3 );
#endif
    std::cout << "Use case 1: " << x1.GetNum() << std::endl;

    //use case two
#ifdef SHOW_ERROR
    typedef float T;
    size_t const N = 9;
    boost::shared_ptr< NH::Helper<T, N> > h( new NH::Helper<T, N> );
    h->x[0] = 16.5f;
    NX::X<T, N> x2( h );
    std::cout << "Use case 2: " << x2.GetNum() << std::endl;
#endif

    std::cout << "Hit the any key" << std::endl;
    getchar();
    return 0;  
}

这是 CMakeLists.txt 文件

PROJECT(TestTemplateFunction)
CMAKE_MINIMUM_REQUIRED( VERSION 2.8 )

FIND_PACKAGE( BOOST )

INCLUDE_DIRECTORIES( ${Boost_INCLUDE_DIR} )

ADD_EXECUTABLE( TestTemplateFunction main.cpp  )

编辑:编译错误

main.cpp(65) : error C2783: 'boost::shared_ptr<NH::Helper<TNumAtH,TSizeAtH>>    NH::GetHelper(void)' : could not deduce template argument for 'TNumAtF'
main.cpp(44) : see declaration of 'NH::GetHelper'
main.cpp(65) : error C2783: 'boost::shared_ptr<NH::Helper<TNumAtH,TSizeAtH>>       NH::GetHelper(void)' : could not deduce template argument for 'TSizeAtF'
main.cpp(44) : see declaration of 'NH::GetHelper'

最佳答案

突发新闻

在 Clang 3.2 上报告该问题后，看来这实际上是一个 C++ 缺陷。你看到 bug discussion in the clang database .

引用理查德·史密斯的话:

This is a defect in C++ itself:

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#325

Clang matches the behavior of all other C++ compilers here; this is not a bug (though depending on the way in which that issue is resolved, we may need to revisit this).

The workaround is to add parentheses around the default argument expression.

问题是歧义之一。例如，通过查看:

int = a < b, c < d > ( e )

...是一个参数，并且...

int = a < b, c < d > ( e ) = 0

我们可以体会到模板参数之间不容易区分，正则<调用以及因此构成默认参数的内容。

如果我们遵循 Richard 的建议并添加括号，那么我们将不再受制于编译器的突发奇想。或者至少，I can guarantee Clang gets it right (修订版 6):

 X( boost::shared_ptr< NH::Helper<T, N> > h = (NH::GetHelper<T, N>()) );

在我看来这像是一个编译器错误。

我测试了您的代码(感谢您顺便发布了一个完整的示例)on liveworkspace gcc 4.7.2 产生以下输出:

Hello at TestTemplateFunction
Use case 1: 8
Use case 2: 16.5

当 clang 3.2 产生时:

Compilation finished with errors:
source.cpp:65:86: error: unknown type name 'TSize'
X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h = NH::GetHelper< TNumAtX, TSize >() );
                                                                                 ^
source.cpp:65:92: error: expected ')'
X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h = NH::GetHelper< TNumAtX, TSize >() );
                                                                                       ^
source.cpp:65:6: note: to match this '('
X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h = NH::GetHelper< TNumAtX, TSize >() );
 ^
source.cpp:65:84: error: expected '>'
X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h = NH::GetHelper< TNumAtX, TSize >() );
                                                                               ^
source.cpp:85:1: error: out-of-line definition of 'X<TNumAtX, TSize>' does not match any declaration in 'X<TNumAtX, TSize>'
X( boost::shared_ptr< NH::Helper< TNumAtX, TSize > > h ) : a( h )
^
4 errors generated.

我以两种方式稍微修改了示例(更改 5):

• 介绍static boost::shared_ptr<Helper> Get() { return boost::shared_ptr<Helper>(new Helper()); }内嵌在 Helper 中模板

• 做了一个typedef NH::Helper< TNumAtX, TSize > Helper在 X并将其用于构造函数 X(boost::shared_ptr<Helper> h = Helper::Get());

现在 clang 设法编译了代码。

我设法将(clang 的)错误减少到:

template <typename T, unsigned N>
struct Helper {};

template <typename T, unsigned N >
Helper< T, N > GetHelper() { return Helper< T, N > (); }

template < typename T, unsigned N >
struct X {
    X( Helper< T, N > h = GetHelper<T, N>() ) {}
};

你可以see it here .

关于c++ - Visual C++ 无法推断在 ctor 中用作默认值的函数的给定(!)模板参数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14401308/