Почему я не могу объявить этот Bool ContexPR, хотя он четко оценивается во время компиляции? ⇐ C++

[Anonymous]

Я понятия не имею, как компилятор решает, что может быть постоянным, а что не может. Понятно, что выражение, назначаемое для Bool, является ContexPR, потому что, похоже, у него нет проблем с возвращением IDX - 1, поэтому компилятор знает, что это постоянное выражение. Я не понимаю: < /p>
#include
#include
#include
#include

template
consteval auto index_of_type() -> uint64_t
{
uint64_t idx = 0;

// CANNOT BE CONSTEXPR EVEN THOUGH IT IS CONSTEXPR
// REMOVING constexpr MAKES IT COMPILE. AND THIS FUNCTION IS CONSTEVAL
constexpr bool bFound = ((++idx, std::is_same_v) || ...);

return idx - 1;
}

template
consteval auto index_of_tyoe_in_tuple(const std::tuple&) -> uint64_t
{
return index_of_type();
}

int main(int argc, char* argv[])
{
constexpr std::tuple my_tuple;

constexpr int idx = index_of_tyoe_in_tuple(my_tuple);
}

Ссылка Godbolt.
Я не могу сделать static_assert (bfound) Если я не сделаю bfound contexpr. Таким образом, в нем говорится, что IDX> 20 не является constexPR, и все же возврат IDX - 1 на самом деле постоянно. Странно.template
consteval auto index_of_type() -> uint64_t
{

uint64_t idx = 0;

static_assert(sizeof ... (among_Ts) > 1);

auto lambda = [=] () consteval mutable -> uint64_t
{
((++idx, std::is_same_v) || ...);

return idx;
};
// STILL CAN'T BE CONSTEXPR WHY?????
constexpr uint64_t idx_of_type = lambda.template operator() < type, among_Ts... > ();

return idx_of_type - 1;

}


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