<分区>
我正在尝试接触 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 函数不是模板时,一切正常...
有什么建议吗?