扣除模板参数C.

概述请考虑以下代码： template<typename T>bool function1(T some_var) { return true; }template <typename T>bool (*function2())(T) { return function1<T>;}void function3( bool(*input_function)(char) ) {} 如果我 请考虑以下代码：

template<typename T>bool function1(T some_var) { return true; }template <typename T>bool (*function2())(T) {  return function1<T>;}voID function3( bool(*input_function)(char) ) {}

如果我打电话

function3(function2<char>());

没关系.但是,如果我打电话

function3(function2());

编译器给出的错误是它无法推导出模板的参数.

请问,你可以建议(提出一个想法)如何重写function1和/或function2(可能,基本上是用类重写)来使它好吗？

* 添加 *

我正在尝试做一些简单的事情,比如Boost.Lambdalib中的lambda表达式(可能是,我的方法不对)：

sort(some_vector.begin(),some_vector.end(),_1 < _2)

我这样做了：

template<typename T>bool my_func_greater (const T& a,const T& b) {  return a > b;}template<typename T>bool my_func_lesser (const T& a,const T& b) {  return b > a;}class my_comparing { public:  int value;  my_comparing(int value) : value(value) {}  template <typename T>  bool (*operator<(const my_comparing& another) const)(const T&,const T&) {    if (this->value == 1 && another.value == 2) {      return my_func_greater<T>;    } else {      return my_func_greater<T>;    }  }};const my_comparing& m_1 = my_comparing(1);const my_comparing& m_2 = my_comparing(2);

有用：

sort(a,a + 5,m_1.operator< <int>(m_2));

但我希望它不需要像Lambdalib中那样的模板参数.

解决方法 从返回类型扣除是不可能的.因此无法从您期望的返回类型推断出function2.

然而,可以推导出演员.所以你可以用一个辅助结构替换function2：不幸的是没有标准的语法来声明强制转换 *** 作符没有typedef,类型推导不能通过typedef工作.以下定义适用于某些编译器(在G 4.5中工作,在VC 9中不起作用)：

struct function2 {    template <typename T>    (*operator bool())(T) {        return function1<T>;    }};

(另见C++ Conversion operator for converting to function pointer).

呼叫应该看起来仍然相同.

注意：C 11引入了可以模板化的替代typedef语法.这将是：

struct function2 {    template <typename T>    using ftype = bool(*)(T);    template <typename T>    operator ftype<T>() {        return function1<T>;    }};

但我手边没有G 4.7或VC 10,所以我无法测试它是否真的有效.

广告新增：

Boost.Lambda中的技巧是它不返回函数,而是函数.而仿函数可以是类模板.所以你有：

template<typename T>bool function1(T some_var) { return true; }class function2 {    template <typename T>    bool operator()(T t) {        function1<T>;    }};template <typename F>voID function3( F input_function ) { ... input_function(something) ... }

现在你可以写：

function3(function2);

它将解决function3中的模板.所有STL都将仿函数作为模板,因此可以与所有STL一起使用.

但是如果不想将function3作为模板,还有一种方法.与函数指针不同,std :: function(仅限C 11,对旧编译器使用boost :: function)模板可以从任何仿函数(包括普通函数指针)构造.所以鉴于上述情况,你可以写：

voID function3(std::function<bool ()(char)> input_function) { ... input_function(something) ... }

现在你仍然可以打电话：

function3(function2());

关键是std :: function有一个模板构造函数,它在内部生成一个模板包装器并存储一个指向它的方法的指针,该方法可以在没有其他模板的情况下调用.

总结

以上是内存溢出为你收集整理的扣除模板参数C.全部内容，希望文章能够帮你解决扣除模板参数C.所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。