- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试理解 ublas 中使用的模式。模式是这样的:
struct vector : vector_expression<vector>
vector_expression 是这样的:
template<class E>
class vector_expression {
...
// no constructor or E pointer/reference in class
//
const E &operator () () const {
return *static_cast<const E*>(this);
}
完整的源代码在这里: http://www.tena-sda.org/doc/5.2.2/boost/dd/d44/vector__expression_8hpp-source.html#l00088
我的问题是,*static_cast<const E*>(this)
是怎么做到的?工作?它依赖于继承吗?
下一个问题:如果我得出
template<class E>
class vector_expression2 : private vector_expression<E>
{
//friend class ublas::vector_expression<E>; // this is the fix
typedef vector_expression<E> base;
const E& operator()() const { return base::operator()(); }
};
我收到有关无法访问的编译器错误 vector_expression
静态类型转换基地。为什么会这样?
谢谢
最佳答案
这是一个限制函数模板的技巧——限制类型的类别。有很多概念,例如 vector 表达式、标量表达式、矩阵表达式等。如果您想编写一个将 vector 与标量相乘的函数模板,您可以尝试编写
template<typename V, typename S>
some_type operator*(V v, S s); // vector * scalar
template<typename V, typename S>
some_type operator*(S s, V v); // scalar * vector
但这行不通,因为两个声明本质上是等价的,而且没有人说 V 应该是 vector 表达式而 S 应该是标量表达式。因此,uBlas 开发人员所做的是使用 CRTP 来约束这些模板:
template<typename V, typename S>
some_Type operator*(vector_expression<V> ve, scalar_expression<S> se);
要使这项工作有效,所有标量表达式 S 都必须派生自 scalar_expression<S>
并且所有 vector 表达式 V 都必须来自 vector_expression<V>
.这样,仅当第一个操作数确实是 vector 的表达式并且第二个参数确实是标量的表达式时,才会考虑此运算符。您可以使用交换两个参数的第二个函数模板重载此函数模板,一切正常。
现在,为了能够从 V 和 S(派生类型)访问任何内容,我们需要从基类到派生类的强制转换。这就是基类中的转换运算符的用途。由于基类知道派生类(它是模板参数),所以这不是问题。选择允许此转换避免错误的最弱转换运算符是有意义的。这是 static_cast
.它可用于将 base* 转换为 derived* 而无需任何显着开销。
我不明白你想用你的代码做什么
template<class E>
class vector_expression2 : private vector_expression<E>;
如果你想编写自己的 vector 表达式作为模板,你可以这样做:
template<class E>
class my_parameterized_vector_expression
: public vector_expression<my_parameterized_vector_expression<E> >;
我认为它不适用于私有(private)继承。如果您在此处使用私有(private)继承,至少所有采用 vector 表达式作为参数的函数模板将无法从基类访问转换运算符。
关于C++ 继承模式 + CRTP,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3287102/
我目前正在实现一个通用事件类。事件处理程序有一个发送者参数和可变数量的事件参数。所以事件类的声明如下: template class event; 为了允许某些实现细节,我需要事件的 CRTP,如下所
我需要实现对实现相同接口(interface)的对象 vector 的高效访问。直到现在,我一直在使用带有虚函数的继承:接口(interface)被定义为具有纯虚函数的抽象类,每个对象类都实现了虚函数
在CRTP ,基类可以使用派生类的函数和变量。但是,派生类的类型不能直接被基类使用,见下面代码: #include template class A { public: //using S
我创建了一个模板类,只要发生实例化,它就会触发运行时文本输出: template struct verbose { verbose() { std::cout str
假设我有一个用于矩阵的 CRTP 模板类 template class MatrixBase{ private: //... public: Derived some_function
我已经阅读了很多关于 Curiously Recurring Template Pattern 的帖子而且我仍然不明白为什么我不想只使用模板编程来使用它。 下面是一个从维基百科稍作修改的例子: tem
请帮我解决以下问题: 我有一个类声明为: template class Rim : /* Derive from GenericComponent Design perspective u
有没有办法从 CRTP 基类查询派生类的内容,与 SFINAE 一起使用来启用或禁用基类方法? 我想要完成的可能如下所示: template struct base { struct foo
我有兴趣了解 CRTP。我想为引擎实现一个组件系统,我不想访问组件统一风格 GetComponent("withThisName"); 而是在编译时(虚幻风格) GetComponent(); 虽然实
让我们考虑一个用于打印派生类的 CRTP 模板类 Print: template struct Print { auto print() const -> void; auto se
最近我一直在摆弄模板并偶然发现了以下问题。我正在像这样实现 CRTP 模式: template struct protocol_object { ... }; struct data_obje
我正在尝试在固定大小的缓冲区中构建一条消息,我的图书馆的用户会在其中提供一些数据。我曾经通过给用户一个指向缓冲区的指针并让他们写入它,并通过引用他们写入的字节数来设置一个 size_t 参数来做到这一
我刚刚遇到 CRTP 的问题,我不能在基类和派生类中使用相同的方法名称(具有不同的签名)。重现此问题的示例如下: template struct Base { void foo(){}
考虑以下代码: #include #include #include struct BaseClass { static int identifier() { stati
我有一个纯虚类接口(interface): class Interface { public: virtual ~Interface() noexcept; virtual voi
任何人都可以向我解释为什么 base::blah(string str) 的签名必须是一个字符串而不是引用一个字符串。如果它是一个字符串,编译器会出现以下错误。是因为在模板实例化时编译器拒绝任何隐式转
我遇到了以下代码(存储在 crtp.cc 中)的编译器相关问题: #include #include #include template class AlgebraicVectorExpres
在我的一个项目中,我使用与此处的答案 1 相同的 CRTP 方法(源自 enable_crtp):How do I pass template parameters to a CRTP? 但是我也需要
我目前正在使用 C++ 模板处理 CRTP 模式。在摆弄 visual studio 时,我发现了几种派生类可以调用函数的基类实现的方式/方法。下面是我正在使用的代码以及 3 行注释掉的代码,显示了如
我想创建一个模板类,为类提供通用方法,使其具有成员 m_Type,指定继承类提供的某种类型。考虑一下: template struct TypeAttribute { T m_Type; };
我是一名优秀的程序员,十分优秀!