我想向您寻求帮助,以解决我最近几天遇到的编程难题。让我尝试解释我将要实现的...
我的目标是定义一组有效的方程式。让我详细解释一下...
我考虑将每个方程式对象用作函子-定义operator()
的类。该运算符的定义应专门用于每种方程类型。特化包含计算本身:
。H:
enum class IDs : int { A = 0, B = 1, C = 2 };
template<IDs WHICH>
struct Equation
{
int operator() ( void );
}
.cpp:
template<>
Equation<IDs::A>::operator()( void )
{
/* Just some sample equation */
return( 42 + 28 );
}
您可能已经注意到,特化是由枚举类成员ID::?定义的。
这似乎正在工作。但我想添加所谓的可用性功能-该方程式仅对某些用户对象类型有效。
There is 'validity group' declared:
/* Object types declaration */
namespace Objects {
using Object0 = boost::mpl::int_<0>;
using Object1 = boost::mpl::int_<1>;
using Object2 = boost::mpl::int_<2>;
}
/* Validity groups declaration */
using ValidityGroup1 = boost::mpl::vector<Object0, Object2>;
using ValidityGroup2 = boost::mpl::vector<Object1>;
我正在使用以下构造来使该类启用或禁用(使用boost::enable_if)。只是为了说明我如何使用它:
template<typename TYPE_LIST, typename QUERY_TYPE>
struct IsTypeInList
{
using TypePos = typename boost::mpl::find<TYPE_LIST, QUERY_TYPE>::type;
using Finish = typename boost::mpl::end<TYPE_LIST>::type;
using type = typename boost::mpl::not_<boost::is_same<TypePos, Finish> >::type;
using value_type = typename type::value_type;
static const bool value = type::value;
};
template<typename OBJECT_TYPE, typename ENABLER=void>
class SampleClass;
template<typename OBJECT_TYPE>
class SampleClass<OBJECT_TYPE, typename boost::enable_if<typename IsTypeInList<ValidityGroup1, Object0>::type>::type>
{}
仅当
Object0
属于ValidityGroup1
时,SampleClass的部分特化才可用。到现在为止还挺好。这一原理得到了验证。现在有趣的东西来了。我想将这两件事合并在一起:
目标:
定义方程式的operator(),其专门化包含有效的主体由ID定义:枚举类值”,并且仅适用于属于ValidityGroup的对象...可以对同一ID进行另一种计算:: ??,但对其他ValidityGroup中的对象有效(aka Object0的属性以不同于Object1的方式计算)
我知道整个概念非常复杂,可能会造成混淆。让我展示一下实现这些东西的尝试:
template<typename OBJECT_TYPE, typename VALIDITY_GROUP, IDs ID, typename ENABLER = void>
class Equation;
template<typename OBJECT_TYPE, typename VALIDITY_GROUP, IDs ID>
class Equation<OBJECT_TYPE, VALIDITY_GROUP, ID, typename boost::enable_if<typename IsTypeInList<VALIDITY_GROUP, OBJECT_TYPE>::type>::type >
: public EquationBase<IDs>
{
public:
int operator() ( void );
};
template<typename OBJECT_TYPE, typename VALIDITY_GROUP, IDs ID>
int Equation<OBJECT_TYPE, ValidityGroup1, Ids::A>::operator() ( void )
{
return( 42 + 56 );
}
但是operator()的定义不起作用...您能告诉我如何使它起作用吗?还是有人对实现上述目标有其他想法?
非常感谢,感谢任何愿意帮助我的人...
干杯马丁
编辑:
该方程式在模板类对象中使用。让代码说明:
template<typename OBJECT_TYPE>
class Object
{
public:
Object( void );
};
.cpp:
template<typename OBJECT_TYPE>
Object<OBJECT_TYPE>::Object( void )
{
std::cout << Equation<IDs::A>()() << std::endl;
}
问题是当运算符()专用时未定义OBJECT_TYPE ...
最佳答案
如果我正确理解了您想要获得的东西,我想有很多方法。
以下是一个经过简化的示例(但完整的广告效果),展示了如何使用std::enable_if
(但boost::enable_if
应该可以)和运算符的返回类型来选择不同的实现
#include <iostream>
#include <type_traits>
template <typename ObjT, typename ValT>
class Equation
{
public:
template <typename X = ObjT>
typename std::enable_if<true == std::is_same<X, ValT>::value, int>::type
operator() ( void )
{ return( 0 ); }
template <typename X = ObjT>
typename std::enable_if<false == std::is_same<X, ValT>::value, int>::type
operator() ( void )
{ return( 1 ); }
};
int main()
{
Equation<int, int> eq0;
Equation<int, long> eq1;
std::cout << "eq0 val: " << eq0() << std::endl; // print "eq0 val: 0"
std::cout << "eq1 val: " << eq1() << std::endl; // print "eq1 val: 1"
}
我想不是很优雅。
另一个解决方案(我想最适合您的需求)可能是基于类局部特化的以下解决方案
#include <iostream>
#include <type_traits>
template <typename ObjT, typename ValT, bool = std::is_same<ObjT, ValT>::value>
class Equation;
template <typename ObjT, typename ValT>
class Equation<ObjT, ValT, true>
{
public:
int operator() ();
};
template <typename ObjT, typename ValT>
class Equation<ObjT, ValT, false>
{
public:
int operator() ();
};
template <typename ObjT, typename ValT>
int Equation<ObjT, ValT, true>::operator() ()
{ return( 0 ); }
template <typename ObjT, typename ValT>
int Equation<ObjT, ValT, false>::operator() ()
{ return( 1 ); }
int main()
{
Equation<int, int> eq0;
Equation<int, long> eq1;
std::cout << "eq0 val: " << eq0() << std::endl; // print "eq0 val: 0"
std::cout << "eq1 val: " << eq1() << std::endl; // print "eq1 val: 1"
}
关于c++ - 仿函数的条件特化operator(),我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/39036497/