怎么得到一个模板函数指针

[fldx]

怎么得到一个模板函数的指针?

C++ primer 3rd p413

#include <iostream>

using namespace std;

template<typename Type, int _size>
Type min(const Type (&arr)[_size])
{
/*......*/
}

typedef int (&rai)[10];
typedef double (&rad)[20];

void func(int (*)(rai));
void func(double (*)(rad));

int main()
{

    func(static_cast<double (*)(rad)>(&min));  //c++ primer说这样可以，但在mingw中却报错
                                                      //invalid static_cast from type `<unknown type>' to type `double (*)(double (&)[20])

    return 0;
}

怎么得到一个模板函数的指针？？？

[Jinhao]

因为你的min的参数是const Type (&)[size]的
而你的static_cast里的rad不是const double (&)[20]的

[pengzhixi]

你的模版没实例化,怎么可能直接&min来得到地址.

[lpf000]

帮顶

[Sou2012]

MARK!!

[taodm]

楼主，C++　Primer 第三版P104 有你漏掉的知识点。

[lpf000]

#include <iostream>
using namespace std;

template<typename Type>
Type min(Type& arr,Type& arr1);

//typedef int(&rai)[10];
//typedef double(&rad)[20];

void func(int (*)(int &a,int& b));
//void func(double (*)(double(&rad)[20]));

int main()
{

func(min<int>);

return 0;
}
这个可以 只有函数声明 只能编译

[lpf000]

我想是 带非类型形参的模板函数，必须显示实例化吧，对于这个形参const Type (&arr)[_size]，_size必须通过实参实例化吧，像这样的形参编译的时候他需要验证实参的合法性；
可能是这样。。。。。。。

[Jinhao]

[Quote=引用 5 楼 lpf000 的回复:]
我想是 带非类型形参的模板函数，必须显示实例化吧，对于这个形参const Type (&arr)[_size]，_size必须通过实参实例化吧，像这样的形参编译的时候他需要验证实参的合法性；
可能是这样。。。。。。。
[/Quote]

不需要,C++允许参数推断实例化.
static_cast<double (*)(rad)>(&min)
推断出min的模板参数,然后实例化,最后得到地址

[taodm]

C++ Primer第三版中文版P414

[lpf000]

[Quote=引用 6 楼 Jinhao 的回复:]
引用 5 楼 lpf000 的回复:
我想是 带非类型形参的模板函数，必须显示实例化吧，对于这个形参const Type (&arr)[_size]，_size必须通过实参实例化吧，像这样的形参编译的时候他需要验证实参的合法性；
可能是这样。。。。。。。


不需要,C++允许参数推断实例化.
static_cast <double (*)(rad)>(&min)
推断出min的模板参数,然后实例化,最后得到地址
[/Quote]
带非类型形参的函数模板，其非类型形参必须是编译时常量表达式，通过形参double (&rad)[20]只能推断出类型<double,int>吧，而这里的非类型形参需要常量表达式吧。。。
我试了很多，这样带非类型形参的的模板函数无法传递给函数指针。

[Jinhao]

你说的常量表达式，这个信息已经包含在rad中了。

typedef double(&rad)[20]; 
                     ^^

现在有了rad这个类型，已经有足够的信息来实例化min了，double和20都有了。

其次。lz代码的错误是因为min的类型是const double (&)[size]，把const去掉就应该正常。
如果你用的编译器还继续报错，那你用的什么编译器？