9

我正在尝试创建和使用make_uniquefor ，与此处描述的forstd::unique_ptr相同。Herb Sutter提到了可能的实现，如下所示：std::make_sharedstd::shared_ptr make_unique

template<typename T, typename ...Args>
std::unique_ptr<T> make_unique( Args&& ...args )
{
    return std::unique_ptr<T>( new T( std::forward<Args>(args)... ) );
}

它似乎对我不起作用。我正在使用以下示例程序：

// testproject.cpp : Defines the entry point for the console application.
#include "stdafx.h"

#include <iostream>
#include <memory>
#include <utility>

struct A {
  A(int&& n) { std::cout << "rvalue overload, n=" << n << "\n"; }
  A(int& n)  { std::cout << "lvalue overload, n=" << n << "\n"; }
};

template<typename T, typename ...Args>
std::unique_ptr<T> make_unique( Args&& ...args ) {
  return std::unique_ptr<T>( new T( std::forward<Args>(args)... ) );
}

int main() {
  std::unique_ptr<A> p1 = make_unique<A>(2); // rvalue
  int i = 1;
  std::unique_ptr<A> p2 = make_unique<A>(i); // lvalue
}

编译器（我使用的是 VS2010）给了我以下输出：

1>d:\projects\testproject\testproject\testproject.cpp(15): error C2143: syntax error : missing ',' before '...'
1>d:\projects\testproject\testproject\testproject.cpp(16): error C2065: 'Args' : undeclared identifier
1>d:\projects\testproject\testproject\testproject.cpp(16): error C2988: unrecognizable template declaration/definition
1>d:\projects\testproject\testproject\testproject.cpp(16): error C2059: syntax error : '...'
1>d:\projects\testproject\testproject\testproject.cpp(22): error C2143: syntax error : missing ';' before '{'
1>d:\projects\testproject\testproject\testproject.cpp(22): error C2447: '{' : missing function header (old-style formal list?)

此外，如果您将make_unique实现替换为以下内容

template<class T, class U>
std::unique_ptr<T> make_unique(U&& u) {
  return std::unique_ptr<T>(new T(std::forward<U>(u)));
}

（取自此示例），它可以编译并正常工作。

谁能告诉我有什么问题？在我看来，VS2010...在模板声明中遇到了一些问题，我不知道该怎么办。

4

2 回答 2

14

可变参数模板在 Visual C++ 11 的已发布版本中不可用。但是，您可以使用大量复制/粘贴不同数量参数的代码来模拟参数扩展，或者使用 Microsoft 自己的实现中使用的相同编译器技巧“伪变量”。来自 Herb Sutter 博客的评论：http: //herbsutter.com/gotw/_102/#comment-6428

#include <memory> // brings in TEMPLATE macros.

#define _MAKE_UNIQUE(TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, X1, X2, X3, X4)  \
\
template<class T COMMA LIST(_CLASS_TYPE)>    \
inline std::unique_ptr<T> make_unique(LIST(_TYPE_REFREF_ARG))    \
{    \
    return std::unique_ptr<T>(new T(LIST(_FORWARD_ARG)));    \
}

_VARIADIC_EXPAND_0X(_MAKE_UNIQUE, , , , )
#undef _MAKE_UNIQUE
于 2012-12-14T18:03:05.900 回答
5

根据MSDN，Visual C++ 2010 或 2012 不支持可变参数模板。

于 2012-12-14T17:55:04.123 回答