ошибка компиляции для параметра функции шаблона переменной

Я пытаюсь написать некоторый вспомогательный код переноса параметров, как показано ниже

#include <type_traits>
#include <string>

struct test{};

namespace ns {
struct test{};
}

template<typename T>
struct arg_wrapper;

template<>
struct arg_wrapper<test>
{
arg_wrapper(test&) {}
};

template<>
struct arg_wrapper<ns::test>
{
arg_wrapper(ns::test&) {}
};

template<>
struct arg_wrapper<std::string>
{
arg_wrapper(const std::string& value) {}
};

template<typename... Args>
void callee(const Args&... args)
{
}

template<typename... Args>
void wrapper_variadic(Args&&... args)
{
callee(arg_wrapper<typename std::decay<Args>::type>(args)...);
}

template<typename Args>
void wrapper_fixed(Args&& args)
{
callee(arg_wrapper<typename std::decay<Args>::type>(args));
}

int main()
{
std::string a("test");
wrapper_variadic(a); // works well
wrapper_variadic(std::string("test")); // compile error
wrapper_variadic(test()); // works well
wrapper_variadic(ns::test()); // compile error
wrapper_fixed(std::string("test")); // works well
wrapper_fixed(test()); // works well
wrapper_fixed(ns::test()); // works well
}

Этот код работает с функцией с фиксированным параметром или с параметром l-значения типа без пространства имен, но мой компилятор отклоняет попытку использовать параметр ref с r-значением с некоторым пространством имен. Я использую версию ccp vc11, и сообщение об ошибке несколько непонятно (см. Ниже)

1>d:\work\toy\vs2012test\vs2012test\source.cpp(39): error C2065: 'basic_string<char,std::char_traits<char>,std::allocator<char> >' : undeclared identifier
1>          d:\work\toy\vs2012test\vs2012test\source.cpp(52) : see reference to function template instantiation 'void wrapper_variadic<std::basic_string<char,std::char_traits<char>,std::allocator<char>>>(std::basic_string<char,std::char_traits<char>,std::allocator<char>> &&)' being compiled
1>d:\work\toy\vs2012test\vs2012test\source.cpp(39): error C2923: 'std::decay' : 'basic_string<char,std::char_traits<char>,std::allocator<char> >' is not a valid template type argument for parameter '_Ty'
1>d:\work\toy\vs2012test\vs2012test\source.cpp(39): error C2955: 'std::decay' : use of class template requires template argument list
1>          c:\program files (x86)\microsoft visual studio 11.0\vc\include\type_traits(1620) : see declaration of 'std::decay'
1>d:\work\toy\vs2012test\vs2012test\source.cpp(39): error C2440: '<function-style-cast>' : cannot convert from 'std::basic_string<char,std::char_traits<char>,std::allocator<char>>' to 'arg_wrapper<_If<std::is_array<remove_reference<_Ty>::type>::value,remove_extent<remove_reference<_Ty>::type>::type*,_If<std::is_function<remove_reference<_Ty>::type>::value,add_pointer<remove_reference<_Ty>::type>::type,remove_cv<remove_reference<_Ty>::type>::type>::type>::type>'
1>          Source or target has incomplete type
1>d:\work\toy\vs2012test\vs2012test\source.cpp(39): error C2440: '<function-style-cast>' : cannot convert from 'ns::test' to 'arg_wrapper<test>'
1>          No constructor could take the source type, or constructor overload resolution was ambiguous
1>          d:\work\toy\vs2012test\vs2012test\source.cpp(54) : see reference to function template instantiation 'void wrapper_variadic<ns::test>(ns::test &&)' being compiled

Это похоже на ошибку компилятора, но я не уверен в этом. Это ошибка? Если нет, то что мне делать, чтобы решить проблему?

3

Решение

Он прекрасно компилируется с g ++ 4.7.2 и clang ++ 3.2. Это, вероятно, ошибка компилятора. Кажется, что vc11 не реализует расширения пакетов должным образом.

1

Другие решения

Других решений пока нет …