代码之家 › 专栏 › 技术社区 › wheaties

STL:卷积两个一元函数参数

stl templates c++

wheaties · 技术社区 · 16 年前

我测试的班级:

#include <functional>
using std::unary_function;

template<typename F, typename G>
struct UnaryConvolution : unary_function<typename G::argument_type,typename F::result_type>{
    UnaryConvolution(const F &_f, const G &_g) : m_F(_f), m_G(_g){}

    result_type operator()(const argument_type &_arg){
        return m_F( m_G( _arg ) );
    }

    F m_F;
    G m_G;
};

我写的单元测试:

using std::bind2nd;
using std::equal_to;
using std::less;

bool unaryConvolution_test(){
    UnaryConvolution obj(bind2nd( equal_to<bool>(), true ), bind2nd( less<int>(), 5 ));

    return obj( 3 );
}

我得到的错误是:

错误C3848:类型为“unarycolution”的表达式将丢失一些常量volatile限定符,以便调用“\u Result unarycolution::operator()(const\u Arg&)”
错误C2514:“unarycolution”:类没有构造函数

甚至添加行 int val = 3 然后经过 val 没有效果。(顺便说一句,项目禁止使用Boost或任何第三方库。别问,我尽量不问。)

3 回复 | 直到 16 年前

James McNellis 16 年前

UnaryConvolution 是类模板,不是类。您需要指定用于实例化模板的模板参数。例如,

UnaryConvolution<
    function<bool(bool)>, 
    function<bool(int)>
> obj(bind2nd( equal_to<bool>(), true ), bind2nd( less<int>(), 5 ));

(我用过 function 您可以从Boost、C++ Tr1或C++ 0x中获得,以代替实际返回类型 bind2nd ,这并不是那么简单。如果您无法访问 功能 ,那么您需要找出 绑定2 )

sbi 16 年前

正如第一条错误消息所说,您需要指定 UnaryConvolution :

UnaryConvolution<SomeF, SomeG> obj(...);

std::bind2nd 一点也不好玩。便利功能可能有助于:

template<typename F, typename G>
inline UnaryConvolution<F,G> MakeUnaryConvolution(const F &_f, const G &_g)
{return UnaryConvolution<F,G>(f,g);}

但是现在你有一个问题,那就是必须找到一些东西来将结果绑定到:

??? obj = MakeUnaryConvolution( bind2nd(equal_to<bool>(),true)
                              , bind2nd(less<int>(),5) );

C++ 1x让你逃脱 auto obj = ... . 然而,VS2005还不支持这一点。我认为有两种可能:

使该类型成为执行实际工作的函数的模板参数。

template< typename F >   
bool doUnaryConvolution_test(F f, int i)
{
  return f(i);
}
bool unaryConvolution_test()
{
  return doUnaryConvolution_test( 
     MakeUnaryConvolution( bind2nd(equal_to<bool>(),true)
                         , bind2nd(less<int>(),5) ) );
}

使用 std::tr1::function (不确定是否可用于VS2005)或 boost::function .

std::tr1::function<bool(int)> obj = MakeUnaryConvolution( 
                                       bind2nd(equal_to<bool>(),true), 
                                       bind2nd(less<int>(),5) );

Luc Touraille 16 年前

UnaryConvolution

template <typename F, typename G>
UnaryConvolution<F, G> make_UnaryConvolution(const F & f, const G & g)
{
    return UnaryConvolution<F, G>(f, g);
}

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前