使用定义转换为数组引用

Question

template <typename T>
struct id
{
    typedef T type;
};

class S{
public:

    template<typename T, int N> 
    operator typename id<T(&)[N]>::type ();

};

void f(int(&)[20]) {}
void g(S s) { cout << typeid(f(s)).name(); }

gcc 编译总是报错： 错误：从类型“S”的表达式中对类型“int (&)[20]”的引用的初始化无效

为什么会失败？

Answer 1

在typename id<T(&)[N]>::type、T 和N 中处于非推断上下文中。改用别名模板：

template <typename T>
using id = T;

class S{
public:
    template<typename T, int N> 
    operator id<T(&)[N]> ();
};