模板编程中二义性问题

前言

菱形继承是 一个常见的二义性问题，这个问题在模板元编程中也很容易隐晦的存在

错误示例代码

#include <iostream>


template <int N>
struct A
{
 int getN() { return N; }
};
 
template <int N>
struct B : A<N % 2>, B<N / 2> {
    int doIt() { return A<N % 2>::getN(); } // error: ambiguous
};
 
template <>
struct B<0> {};



int main()
{
    B<9> a;
    a.doIt() ;
};

结果和分析

上面代码会生成下面

出现这个问题我们可以发现A<1> A<0>都在继承体系中出现了两次，因此我们在调用doit方法时，不知道选择哪个A<1>或者A<0>，所以会编译错误。

解决方案

如果我们希望A<1>,A<0>只在继承体系中出现一次，我们解决办法其实就是解决菱形继承问题吗，那方法很简单了使用虚继承

虚继承去除二义性办法

代码如下

template <int N>
struct A
{
 int getN() { return N; }
};
 
template <int N>
struct B : virtual A<N % 2>, B<N / 2> {
    int doIt() { return A<N % 2>::getN(); } // error: ambiguous
};
 
template <>
struct B<0> {};



int main()
{
    B<9> a;
    a.doIt() ;
};

结果和分析

发现编译通过了，但是，继承树变了，变成不是树状结构的继承了。

解决方法二

既然我们希望保持树状继承，那么我们可以对继承体系中的节点 加上层数信息，确保每个节点的唯一性，那么是不是就可以了。

代码如下

#include <iostream>


template <int N, typename T>
struct A {
    int getN( ){return N;}; 
};

template <int N>
struct B : A<N % 2, B<N> >, B<N/2> { 
    int doIt(){
         return A<N % 2,  B<N>>::getN();
    }
 };

template <>
struct B<0> {};




int main()
{
    B<9> a;
    a.doIt() ;
};

结果和分析

此时的继承树变成下面这个结构了，可见所有类节点都是唯一的，所以消除了而一些问题