Question

我试图触及C ++ 17的功能，我选择了clang。这是我的代码的简化示例，无法通过clang编译：

#include <iostream>
#include <limits>

template<
    typename T,
    template<typename T_> typename Final>
class Base
{
public:
    decltype(auto) Foo() const noexcept
    {
        using TFinal = Final<T>;
        auto& _this = static_cast<const TFinal&>(*this);
        return _this.Bar<true>();
    }
};

template<typename T>
class Derived :
    public Base<T, ::Derived>
{
public:
    template<bool min>
    T Bar() const noexcept
    {
        return min ?
            std::numeric_limits<T>::lowest() :
            std::numeric_limits<T>::max();
    }
};

int main()
{
    Derived<int> instance;
    auto result = instance.Foo();
    std::cout << result << std::endl;
    return 0;
}

它在这里失败了：

return _this.Bar<true>();

，错误信息是：

main.cpp:14:32: error: expected expression
        return _this.Bar<true>();
                               ^
main.cpp:35:10: error: variable has incomplete type 'void'
    auto result = instance.Foo();
         ^

以下是我编译的方法：

clang++-5.0 main.cpp -std=c++17

一些额外的信息。具有最新语言版本的Visual Studio 17可以吃这个。当bar函数不是模板时，一切正常......

这里有什么建议吗？

Answer 1

应该是

return _this.template Bar<true>();

在您的情况下_this具有依赖类型。要引用其成员模板，您必须明确使用关键字template。

Where and why do I have to put the "template" and "typename" keywords?

编译模板时出现clang错误

1 个答案: