c++ - 私有(private)类成员的 static_assert 类型，没有实例

Question

我想静态断言一个私有(private)类成员类型是否在类之外:

class Human
{
    public:
        int getInt() const {return myInt;}
    private:
        int myInt{0};
};

但是，我在想要断言的位置没有该对象的实例。

我试过:

static_assert(std::is_same<decltype(Human::getInt), int>::value);

但它需要一个实例。

实现此目标的最佳方法是什么？

Answer 1

有std::declval在这种情况下有帮助:

static_assert(std::is_same<decltype(std::declval<Human>().getInt()), int>::value);