T 不是非类型模板参数的有效类型-解网

问：

无法编译以下代码：

#include <array>

template <class T, T state>
class stateless
{
public:

    void f() { /* do something with m_val*/; }

private:

    static inline constexpr T m_val = state;
};

struct A
{
    int x;

    int GetX() const { return x; }
};

template <class T, class ReturnType>
using FuncPtr = ReturnType(T::*)() const;

template <class T, class ReturnType>
class func_getter
{
public:

    using object_type = T;
    using value_type = ReturnType;

    using MyFuncPtr = FuncPtr<T, ReturnType>;

    constexpr func_getter(MyFuncPtr p) : m_p(p) {}

    constexpr ReturnType operator() (const T& val) const
    {
        return (val.*m_p)();
    }

private:

    MyFuncPtr m_p;
};

int main()
{
    {
        using Array = std::array<int, 3>;
        constexpr std::array<int, 3> a = { 1, 2, 3 };
        stateless<Array, a> s;
    }

    {
        constexpr A a = { 1 };
        stateless<A, a> s;
    }

    // All the code above compiles, but the code below does not.

    {
        using Getter = func_getter<A, int>;
        constexpr Getter g(&A::GetX);
        stateless<Getter, g> s;
    }

    {
        constexpr func_getter g(&A::GetX);
        stateless<decltype(g), g> s;
    }

    return 0;
}

MSVC 2022 错误：

error C2993: 'Getter': is not a valid type for non-type template parameter 'state'

C++语言

template <class T, T state>
                     ^
pp.cpp:65:9: note: while substituting prior template arguments into non-type template parameter 'state' [with T = func_getter<A, int>]
        stateless<Getter, g> s;
        ^~~~~~~~~~~~~~~~~~~~
pp.cpp:44:15: note: 'func_getter<A, int>' is not a structural type because it has a non-static data member that is not public
    MyFuncPtr m_p;

重要的一点是“func_getter<A，int>”不是结构类型。结构类型不能有私有字段。

2赞 Caleth 11/18/2023 #3

G++ 的错误消息在这里更有用：

error： 'func_getter<A， int>' 不是模板非类型参数的有效类型，因为它不是结构化的。

cppreference 列出要求

非类型模板参数必须具有结构类型，该类型是以下类型之一（可选 cv 限定，将忽略限定符）：

左值引用类型（对象或函数）;

整数类型;

指针类型（指向对象或函数）;

指向成员类型（成员对象或成员函数）的指针;

枚举类型;

std::nullptr_t;

浮点类型;

具有以下属性的文本类类型：

所有基类和非静态数据成员都是公共的、不可变的，并且

所有基类和非静态数据成员的类型都是结构类型或（可能是多维）数组。

即问题是.MyFuncPtr m_p;private

见 coliru

上一个：通过插入快速排序

下一个：我想知道当我们可以使用第二个代码 [duplicate] 获得相同的结果时，在第一个代码中使用指针有什么意义

T 不是非类型模板参数的有效类型

T is not a valid type for non-type template parameter

评论