Почему эта функция не может быть оценена как постоянная? ⇐ C++

[Anonymous]

У меня есть ситуация, когда функция, которая, я думаю, должна оцениваться как константа, не является, и бросает ошибку, однако, если я создаю локальные переменные и использую их в качестве аргумента для функции, которую она принимает: < /p>
enum class MySerialisationMode { YES, NO };

template
struct MySerialiser;

struct ClassThatsNotAllowedToAccess{
constexpr ClassThatsNotAllowedToAccess() {}

template
consteval bool can_serialise(MySerialiser& serialiser, T* t) const
{
return true;
}

};

template
struct MySerialiser
{

template
void serialise(T* t)
{
constexpr ClassThatsNotAllowedToAccess c1;

T local_t;
MySerialiser local_serialiser;

//constexpr bool canSerialise = c1.can_serialise(*this, t); // EXPRESSION DID NOT EVALUATE TO A CONSTANT
constexpr bool canSerialise = c1.can_serialise(local_serialiser, &local_t); // WORKS

}
};

struct MyFoo2
{
};

int main(int argc, char* argv[])
{

MyFoo2 myfoo2;
MySerialiser serialiser;

serialiser.serialise(&myfoo2);
}
< /code>
Почему, если я использую локальные переменные в качестве аргумента, но не работает с (*this, t)? Я почти уверен, что оба аргумента не позволяют его работать. Я, вероятно, должен был упростить пример, чтобы использовать только один аргумент, чтобы увидеть, в чем проблема, но оба из них вызывает это.>

Подробнее здесь: https://stackoverflow.com/questions/796 ... a-constant