在模板定义中调用非静态constexpr成员函数

Calling non-static constexpr member function in template definition

本文关键字：静态 constexpr 成员 函数 调用 定义      更新时间：2023-10-16
#include <type_traits>
template<size_t S> struct A
{
constexpr size_t size() const noexcept { return S; } // Not static on purpose!
};
struct B : public A<123> {};
template <class T>
typename std::enable_if<std::is_base_of_v<A<T().size()>, T>, bool>::type // (*)
f(const T&, const T&) noexcept { return true; }
int main() {
B b1, b2;
f(b1, b2);
}

在(*(行的原始问题中，我错误地使用了T()::size()，这显然是不正确的，因为size()不是静态的。该代码适用于T().size()和std::declval<T>().size()。所以现在的问题是有什么区别，如果这些方法中有任何一种更正确或更好？

您没有指定要使用的编译器，但gcc的错误消息提供了一个很大的提示：

t.C:12:52: error: cannot call member function ‘constexpr size_t A<S>::size() const
[with long unsigned int S = 123; size_t = long unsigned int]’ without object

相应调整方法声明后：

static constexpr size_t size() noexcept { return S; }

gcc随后编译了显示的代码，没有出现任何问题。

如果您的意图是让size()成为一个常规类方法，那么您需要在模板中使用std::declval，而不是将其作为静态方法调用。

size是一个非静态函数，需要调用一个对象。将其设为static并移除const。

相关文章：