Question

考虑以下struct：

//Implementations provided elsewhere

struct A {  A(int i, double d, std::string s);  /* ... */ };
struct B {  B(double d1, double d2);            /* ... */ };

我有两个转换类，其模板签名如下所示：

TupleAs< A, int, double, std::string > via1 { ... };
ArrayAs< B, double, 2 >                via2 { ... };

可以预见，TupleAs会将int，double和std::string值的三元组转换为A类型的对象。同样，ArrayAs会将一对两个double值转换为B类型的对象。（是的，我有理由不能直接调用A和B构造函数。）

改进语法

我想更改语法，以便我可以执行以下操作：

TupleAs< A(int,double,std::string) > via1 { ... };
ArrayAs< B(double,2) >               via2 { ... };

我认为，它更能描述转换过程。 TupleAs模板声明和相应的部分特化将如下所示：

template <typename T> struct TupleAs;

template <typename T, typename ... Args>
struct TupleAs<T(Args...)> { ... };

编译错误

但是，如果我尝试使用ArrayAs版本执行类似的操作：

template <typename T> struct ArrayAs;

template <typename T, typename U, unsigned N>
struct ArrayAs<T(U,N)> { ... };

在尝试实例化它时，我在clang（3.6）中遇到以下错误（ArrayAs< B(double,2)> test;）：

typeAs.cpp:14:22: error: unknown type name 'N'
  struct ArrayAs<T(U,N)>{
                     ^
typeAs.cpp:14:10: warning: class template partial specialization contains a template parameter that cannot be deduced; this partial specialization will never be used
  struct ArrayAs<T(U,N)>{
         ^~~~~~~~~~~~~~~
typeAs.cpp:13:45: note: non-deducible template parameter 'N'
  template<typename T, typename U, unsigned N>
                                            ^

gcc错误诊断略有不同，但我不会在这里发布。

我承认我的模板技巧应该比他们更好，我也承认类似的std::function<B(double,2)>声明显然是无稽之谈。但有人可以告诉我为什么我想要实现的特定语法是不允许的？我查看了C ++ 14标准并且无法找到相关部分，而且我无法解释clang诊断消息。

Answer 1

template <typename T> struct ArrayAs;

template <typename T, typename U, std::size_t N>
struct ArrayAs<T(std::array<U,N>)> { ... };

工作，如：

template<class T>
struct to_array;
template<class T, size_t N>
struct to_array< T[N] > { using type = std::array<T, N>; };
template<class T>
using arr = typename to_array<T>::type;

然后：

ArrayAs< Bob( arr<int[3]> ) > some_var;

live example

可悲的是，由于函数类型中的数组如何衰减为指针，直接使用ArrayAs< Bob( int[3] ) >不起作用。

在部分特化期间使用非类型模板参数

1 个答案: