可视化C++模板专业化和继承

visual C++ template specialisation & inheritance

本文关键字：继承 专业化 C++ 可视化      更新时间：2023-10-16

我有一段代码，它应该声明基结构，然后声明从中继承的模板结构。然后该结构被部分指定。

#include <utility>
#include <iostream>
template<class A, class B>
struct Parent {
    std::pair<A, B> m_pair;
    void print() {
        std::cout << m_pair.first << ", " << m_pair.second << "n";
    }
};
template <class A, class B>
struct Some : public Parent<A, B> {
    Some(A a, B b) : Parent<A, B>({ {a, b} }) {}
    void add() {
        m_pair.first += m_pair.second;
    }
};
template <class B>
struct Some<B, float> : public Parent<B, float> {
    Some(B a, float b) : Parent<B, float>({ {a, b} }) {}
    void add() {
        m_pair.first -= m_pair.second;
    }
};
int main() {
    Some<int, float> s(4, 42);
    s.add(); 
    s.print();
    return 0;
}

当我在Visual Studio 2015中编译它时，一切都编译得很好，工作正常。然而，当我用GCC 5.2.1或clang 3.6编译时，我会得到以下错误：

untitled.cpp: In member function ‘void Some<A, B>::add()’:
untitled.cpp:17:9: error: ‘m_pair’ was not declared in this scope  
         m_pair.first += m_pair.second;  
         ^
untitled.cpp: In member function ‘void Some<B, float>::add()’:
untitled.cpp:24:9: error: ‘m_pair’ was not declared in this scope
         m_pair.first += m_pair.second;

怎么了？然而，当我将m_pair称为Parent<A, B>::m_pair时，它在GCC和clang中起作用。

定义指定模板冲突的正确方法是什么（使用指定方法），这些方法有共同的方法？

由于基类依赖于模板参数，因此在非限定名称查找过程中不会检查基成员。

幸运的是，修复很容易：只需在基本成员访问的前缀上加上this->:

this->m_pair.first += this->m_pair.second;
this->m_pair.first -= this->m_pair.second;

这个将在基类中查找，这样就会找到成员。

不合格查找在MSVC中有效，因为该编译器在其模板实现的许多方面都是不一致的。

相关文章：