难以理解C++依赖类型与当前实例化上的内容

下面的代码改编自这里的答案：https://stackoverflow.com/a/17579889/352552

我提出这个问题的目的是尝试更好地理解C++如何处理依赖类型的类型解析，而不是当前实例化上的内容，因此不需要typename限定符。 我一直从不同的编译器那里得到相互矛盾的结果，所以我来这里寻找一个更规范的答案。

考虑此代码

#include <iostream>
struct B {
typedef int result_type;
};
template<typename T>
struct C {
};
template<>
struct C<float> {
typedef float result_type;
}; 
template<typename T>
struct D : B, C<T> {
std::string show() {
//A) Default to current instantiation - ignore dependent type, even if one exists, or so I hope
D::result_type r1;
//B) What **exactly** does typename add, here?
//typename D::result_type r1;
return whichType(r1);
}
std::string whichType (int val){
return "INT";
}
std::string whichType (float val){
return "FLOAT";
}    
};

int main() {  
D<std::string> stringD;
D<float> floatD;
std::cout<<"String initialization "<<stringD.show()<<std::endl;
std::cout<<"Float initialization "<<floatD.show()<<std::endl;
}

行 A) 在show()中，如果我理解正确，告诉编译器使用当前实例化，所以我应该得到 INT INT。 在海湾合作委员会，我愿意。目前为止，一切都好。

B行，同样，如果我理解正确的话，应该告诉编译器考虑依赖类型，由于歧义，这将使该行出错;或者，如果这意味着只考虑依赖类型，我应该得到INT FLOAT。 在海湾合作委员会上，我也在那里得到INT INT。 为什么？

在 Clang 上运行这个。

A 行根本不编译。

错误：在"D"中没有名为"result_type"的类型;你的意思是简单的"result_type"吗？D：：result_type r1;

放弃D::确实会产生 INT INT。

它应该编译，还是这里的 Clang 是正确的？

B行确实在歧义上犯了错误

错误：在不同类型的多个基类中找到成员"result_type" 类型名 D：：result_type R1

这里的任何人都可以权威地说哪个编译器(如果有的话！)是规范正确的，为什么？

假设Clang是正确的，这可能意味着

MyType::F

如果基类型上存在类型，则对于从当前实例化引用类型无效;仅当在该类上定义了类型时，它才有效。 即添加

typedef double dd;

到D

然后

D::dd d = 1.1;
std::cout<<d;

在show会工作得很好，事实确实如此。

此外

typename D::sometype

似乎意味着考虑依赖类型，但不完全考虑，因此如果此类类型最终在多个位置定义，无论是在当前实例化中还是依赖于模板参数，则会出现错误。

但同样，这一切都假设 Clang 的行为根据规范是正确的，我无法与之交谈。

链接到我正在使用的 GCC repl： https://wandbox.org/

链接到我正在使用的 Clang repl： https://repl.it/languages/cpp11