c++ - use-defined 转换为数组引用

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]> ();
};