返回类型不完整的调用方法和我无法解释的模板解决方法

Question

为了解释我的情况，我必须发布相当多的代码。但是，问题很简单（另请参阅我的帖子的最底部和最后一个代码段）：

在SubscriptProxy::is中，为什么调用this->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);
        }

...编译失败并显示错误消息：Calling 'get_element' with incomplete return type 'Something'。

为什么？

Answer 1

有two-phase name lookup用模板检查错误：

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

auto d = XYZ::get_element<Something>(parentElement); 现在不再依赖于模板，因此编译器可能会为此提供错误。

对于this->get_element，它取决于this，它是模板。