- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
假设我有一个模板类,我在其中重载了一个运算符,比方说乘法运算符:
template <typename T1>
class base_matrix{
public:
T1* M;
....
base_matrix<T1>& operator*=(const complex<double>& f){
for(int i=0;i<n_elts;i++) { M[i] *= (T1)f; }
return *this;
}
friend base_matrix<T1> operator*(const int& f, const base_matrix<T1>& ob){
base_matrix<T1> res(ob); res *= f; return res;
}
}
然后我用专门的模板参数定义了一个派生类:
class CMATRIX : public base_matrix< complex<double> >{
public:
}
在我的理解中,由于运算符是在派生类中继承的,因此可以创建一个 CMATRIX 类型的对象并将其乘以一个复数。我希望得到的是 CMATRIX 类型的另一个对象。我实际得到的是基类类型的对象(带有替换的模板参数) base_matrix< complex<double> >
.这很清楚 - 派生对象调用基类方法,该方法返回基类对象。
当然,我可以在派生类中进行显式转换:
friend CMATRIX operator*(const CMATRIX& ob, const complex<double>& f){
return CMATRIX(ob * f);
}
但这似乎是对运算符重载的不必要的重新定义。也就是说 - 如果我需要在派生类中显式地重新定义所有运算符重载 - 在基类中定义它们有什么意义?
所以,这是我的问题之一。另一个更技术性的问题 - 如何让派生类运算符在没有显式转换的情况下返回正确的(派生)类?
最佳答案
不是一个很好的解决方案但是...
您可以在模板参数为派生类(CRTP 样式)的模板基类中插入 friend
运算符。
一个例子
#include <complex>
#include <type_traits>
template <typename T>
struct multM
{
friend T operator* (int const f, T const & ob)
{ T res(ob); res *= f; return res; }
};
template <typename T1>
class base_matrix : public multM<base_matrix<T1>>
{
public:
T1 * M;
std::size_t n_elts;
base_matrix<T1>& operator*=(const std::complex<double>& f){
for(int i=0;i<n_elts;i++) { M[i] *= (T1)f; }
return *this;
}
};
class CMATRIX : public base_matrix<std::complex<double>>,
public multM<CMATRIX>
{ };
int main()
{
static_assert(std::is_same<base_matrix<float>,
decltype(int{}*base_matrix<float>{})>::value, "!");
static_assert(std::is_same<CMATRIX,
decltype(int{}*CMATRIX{})>::value, "!!");
}
关于C++ 重载运算符返回派生类对象而不是基类,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43698859/
经过几个小时的(重新)搜索,我无法想出普通抽象类和使用模板模式之间的可解释区别。 我唯一看到的是: 使用抽象类时,您需要实现所有方法。但是在使用模板方法时,您只需要实现这两个抽象方法。 有人可以向我解
我正在尝试实现一种算法,该算法可找到以下形状给出的外多边形的每个单独边的对应区域。也就是说,1,2 边的相应区域是 [1,6,7,8,2],2,3 边的区域是 [2,8,3] 等等,CCW 或 CW
我正在尝试在派生 self 的 BaseController 类的任何 Controller 上自动设置一个属性。这是我的 Application_Start 方法中的代码。 UnitOfWork 属
我正在使用 mgcv 包通过以下方式将一些多项式样条拟合到一些数据: x.gam smooth$knots [1] -0.081161 -0.054107 -0.027053 0.000001
考虑以下代码: void foo(){ ..... } int main() { int arr[3][3] ; char string[10]; foo();
本书The c++ programming language有这个代码: class BB_ival_slider : public Ival_slider, protected BBslider {
是否有一个 package.json 属性可用于指定模块解析应启动的根文件夹? 例如,假设我们在 node_modules/mypackage/src/file1 中有一个安装。我们要导入的所有文件都
我正在尝试使用聚合函数来实现与 SQL 查询相同的结果: 查询语句: sqldf(" SELECT PhotoID, UserID,
我正在比较使用 LOESS 回归的两条线。我想清楚地显示两条线的置信区间,我遇到了一些困难。 我尝试过使用各种线型和颜色,但在我看来,结果仍然是忙碌和凌乱。我认为置信区间之间的阴影可能会使事情变得更清
给定这段代码 public override void Serialize(BaseContentObject obj) { string file = ObjectDataStoreFold
我正在构建某种工厂方法,它按以下方式将 DerivedClass 作为 BaseClass 返回: BaseClass Factory() { return DerivedClass(); }
当重写 class delegation 实现的接口(interface)方法时,是否可以调用通常从重写函数中委托(delegate)给的类?类似于使用继承时调用 super 的方式。 来自docum
我有一个基类 fragment (如下所示)。我在其他 3 个 fragment 类中扩展了此类,每个类都共享需要在这 3 个 fragment 中访问的相同 EditText。因此,我在基类中设置了
如何在不加载额外库的情况下在 R 中计算两个排列之间的 Kendall tau 距离(又名冒泡排序距离)? 最佳答案 这是一个 O(n.log(n)) 的实现,在阅读后拼凑而成,但我怀疑可能有更好的
情况 我创建了一个具有国际化 (i18n) 的 Angular 应用程序。我想在子域中托管不同的版本,例如: zh.myexample.com es.myexample.com 问题 当我使用命令 n
std::is_base_of 之间的唯一区别和 std::is_convertible是前者在 Base 时也成立是 私有(private)或 protected Derived 的基类.但是,您何
我创建了一个名为 baseviewcontroller 的父类(super class) uiviewcontroller 类,用于包含大多数应用屏幕所需的基本 UI。它包括一个自定义导航栏和一个“自
我是一名优秀的程序员,十分优秀!