标签:c oop type-conversion
题
我有一系列〜10个模板类A,B,C,D,…
我想启用从一个类到系列中以前的类的转换:
> D-> C,B或A
> C-> B或A
> B->一种
如何在不使用公共继承的情况下实现这一目标?
测试1(公共继承)
>我不希望继承公共方法.
测试2(定义1 2 … n转换运算符):
>为第n个模板类定义n个转换运算符
模板类.
>非常乏味
测试3(每节课1个转换运算符):
>仅允许从下一级别的类型转换为该级别的类型.
例如,这允许从D到C的转换,但不能从D到B的转换.
测试(也在godbolt.org):
template <typename Convertible>
class A {
public:
operator Convertible() { return Convertible(); }
};
using B = A<int>;
using C = A<B>;
using D = A<C>;
int main() {
D d;
auto b = B(d);
return 0;
}
编译错误:
error: no matching function for call to ‘A<int>::A(D&)’
auto b = B(d);
^
实际用例
A,B,C,D …是由对象S的一层创建的每个节点(代理).
>类型1层定义图节点的内存组织
(指针/阵列).
>类型2图层可将图层转换为另一个容器. (例如,具有哈希的层,用于通过键索引节点并跟踪节点的交换.)
用户可以通过多种方式堆叠图层以创建对象S.
我希望将一层的节点转换为上一层的节点.
这是可能的,因为指向节点内容的指针/索引将是相同的.
解决方法:
尽管@hlt的方法可以满足您的要求,但在不了解上下文的情况下,我对在A中实现转换持谨慎态度.在我想到的情况下,A不应意识到B,C或D,因此我会建议一个不同的实现.
您可以创建测试3的变体,在其中每个类实现一个转换运算符,但您还可以继承模板化的间接转换运算符,如下所示:
#include <type_traits>
template <typename T1, typename T2>
struct indirect_conversion {
template <typename T, typename = std::enable_if_t<std::is_constructible_v<T, T2>>>
operator T() {
return static_cast<T1 *>(this)->operator T2();
}
};
struct A {};
struct B : indirect_conversion<B, A> {
operator A();
};
struct C : indirect_conversion<C, B> {
operator B();
};
struct D : indirect_conversion<D, C> {
operator C();
};
A a = D();
标签:c,oop,type-conversion 来源: https://codeday.me/bug/20191009/1882151.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。