奇怪的声明（模板）。 C++

Question

我怎样才能明白什么是这里声明：（这是从另一个职位采取this forum）

template<typename C> static char (&f(ChT<int Fallback::*, &C::x>*))[1]; 

我是这样看：调用(ChT<int Fallback::*, &C::x>*)静态函数f的

模板，但后来我没有意义为什么有一个地址的运算符，为什么有一个数组？

我还在学习如何理解C++声明，所以请慢慢仔细地解释一下。

Answer 1

看到返回类型很重要。 所以，这个函数的返回类型是参考char[1]; 试想f返回类似参考以下：

char ret[1]; 

例如

template<typename C> static char (&f(ChT<int Fallback::*, &C::x>*))[1] 
{ 

    static char xx[1] = {'F'}; 
    return xx; 
} 

Answer 2

使用一些类型定义：

typedef char (&arrayref_t)[1]; 

这是字符数组的引用。该数组有一个元素。

typedef ChT<int Fallback::*, &C::x> tmpl_t; 

这是一个模板类，具有类型“指针Fallback类的int构件”实例化，以及构件指针x在C类。

​​

函数现在需要一个指针到一个tmpl_t并返回一个arrayref_t。