具有不完整返回类型和无法解释的模板的变通方法

Question

为了解释我的情况，我必须发布很多代码。 但是，这个问题很简单（另请参见我的文章的最底部以及最后一个代码段）：

在SubscriptProxy::is ，为什么在调用this->get_element<Something>(parentElement);时进行编译this->get_element<Something>(parentElement); 但是在调用XYZ::get_element<Something>(parentElement);时不会编译XYZ::get_element<Something>(parentElement); ？

---

文件Element.hpp

class Element{};

文件HelperFunctions.hpp ：

#include "Element.hpp"

namespace XYZ {
    class Something;

    template<typename T>
    T get_element(Element* e) {
    }

    template<>
    Something get_element(Element* e);
}

文件HelperFunctions.cpp ：

#include "HelperFunctions.hpp"
#include "Something.hpp"

namespace XYZ {
    template<>
    Something get_element(Element* e) {
       // Convert Element to Something somehow
       return Something{};
    }
}

文件SubscriptProxy.hpp ：

#include "HelperFunctions.hpp"

namespace XYZ {
    class Something;

    template<typename C, typename D, typename E>
    class SubscriptProxy {
        C m_parent;
        E m_index; 

        template<typename T>
        T get_element(Element* e) const {
            return XYZ::get_element<T>(e); // call helper function
        }

        template<typename T>
        bool is(int index, Element*& e) const noexcept {
            Element* parentElement;
            if (!m_parent.template is<Something>(m_index, parentElement)) {
                return false;
            }
            auto d = this->get_element<Something>(parentElement);
            return d.template is<T>(index, e);
        }
    };
}

然后，我们当然有Something.hpp和Something.cpp 。 它包含一个返回SubscriptProxy实例的运算符：

#include "SubscriptProxy.hpp"
#include "HelperFunctions.hpp"

namespace XYZ {
    class Something {
        SubscriptProxy<Something, Something, int> operator[] (int index) const noexcept;
    };
}

文件Something.cpp ：

#include "Something.hpp"

namespace XYZ {
SubscriptProxy<Something, Something, int> Something::operator[] (int index) const noexcept {
    return SubscriptProxy<Something, Something, int>{};
}

---

这样可以编译并正常工作。

但是，如果我将SubscriptProxy::is方法的实现更改为以下内容：

        template<typename T>
        bool is(int index, Element*& e) const noexcept {
            Element* parentElement;
            if (!m_parent.template is<Something>(m_index, parentElement)) {
                return false;
            }
            auto d = XYZ::get_element<Something>(parentElement);
            return d.template is<T>(index, e);
        }

...它无法编译并显示错误消息： 调用'get_element'具有不完整的返回类型'Something'。

为什么？

Answer 1

有两个阶段的名称查找以检查模板错误：

• 一个用于任何模板参数，因此编译器仅检查非相关代码。
• 实例化一个（因此所有参数都是固定的）。

auto d = XYZ::get_element<Something>(parentElement); 现在取决于模板的时间更长，因此编译器可能为此提供错误。

用this->get_element ，这取决于的this是模板。