加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 百科 > 正文

从“覆盖”它的C模板专业化调用“基础”模板函数?

发布时间:2020-12-16 05:03:58 所属栏目:百科 来源:网络整理
导读:问题: 有没有办法从C中的专用模板函数调用“基本”模板函数,子类在覆盖它们时可以访问父类虚拟方法的方式? (注意:我怀疑答案是“不”但是会喜欢错误) 上下文: 我经常发现自己专门设计模板功能只是因为特殊情况需要额外的预处理或后处理,而不是因为代码的
问题:

有没有办法从C中的专用模板函数调用“基本”模板函数,子类在覆盖它们时可以访问父类虚拟方法的方式? (注意:我怀疑答案是“不”但是会喜欢错误)

上下文:

我经常发现自己专门设计模板功能只是因为特殊情况需要额外的预处理或后处理,而不是因为代码的“胆量”已经改变.

举一个人为的例子:

通过继承,您可以执行以下操作:

struct base { 
    virtual void go() { printf("%p",this); }
};
struct foo : base { 
    virtual void go() { printf("this foo lives at "); base::go(); } 
};

…并且调用foo :: go()将打印“this foo live at< address>”

但是,使用模板:

template <typename T>
void go(T const &t) { printf("%pn",&t); }

template <>
void go(foo const &f) { 
    printf("this foo lives at "); 
    ??? how to access "base" template ??? 
}

你可以通过分解一堆小辅助函数并专门化它们而不是你真正关心的函数来以一种丑陋的方式解决这个问题:

template <typename T>
void _go_pre(T const &t) { /* do nothing */ }

template <typename T>
void _go_post(T const &t) { /* do nothing */ }

template <typename T>
void go(T const &t) { 
    _go_pre(t); /* just in case */
    printf("%pn",&t); 
    _go_post(t); 
}

template<>
void _go_pre(foo const &t) { printf("this foo lives at "); }

…但是这会使代码显着混乱,因为现在“基础”模板需要预测“子”专业化可能覆盖它的所有方式,并且大多数类型将使用这些钩子中的少数(如果有的话).混乱变得难以理解并且很快就无法维护,因为这些钩子的原因在定义时并不为人所知,并且您必须测试已使用/未使用的钩子的不同组合.

所有这些与您在子类无法访问父类提供的原始版本的世界中使用虚拟方法覆盖时遇到的问题完全相同.

解决方法

这是不可能直接的.但是,您可以使用更少(和IMO不那么丑陋)的助手,如下所示:
template <typename T>
void base_go(T const &t) { printf("%pn",&t); }

template <typename T>
void go(T const &t) { base_go(t); }

template<>
void go(foo const &t) { printf("this foo lives at "); base_go(t); }

作为替代方案,您可以将base_变体放入单独的命名空间,而不是为它们提供修改后的名称.

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读