Use of consteval function parameters in a static_assert

Question

My understanding was that the parameters of consteval functions can't be used in static_asserts because they are not considered constant expressions. However, that only seems to be the case sometimes:

// using gcc 13.1 with -std=c++20

#include <array>
#include <concepts>
#include <iostream>
#include <ranges>

template<std::ranges::input_range T, std::integral U>
consteval int assertStuff2(T ok, U not_ok) {
    // (1) both compile fine
    static_assert(std::ranges::size(ok) != 5);
    static_assert(ok.size() != 5);
    
    // (2) compiler error!
    // "non-constant condition for static assertion:
    //    'not_ok' is not a constant expression"
    static_assert(not_ok != 5);

    return 0;
}

int main() {
    std::cout << assertStuff2(std::array<int, 3>{5, 3, 2}, 2);
}

Why is ok usable in a static_assert but not_ok isn't?

康桓瑋 · Accepted Answer · 2023-07-29 06:21:32Z

5

Why is ok usable in a static_assert but not_ok isn't?

ok, like not_ok, is not a constant expression, so you can't do static_assert(ok != std::array<int, 3>{}) either.

However, ok.size() is still usable in static_assert, because ok is not a reference type, and its size() is a constexpr function that returns the template parameter N, which makes the whole expression can be treated as a constant expression ([expr.const]).

ranges::size(t) ultimately returns t.size(), so it is also a constant expression.

edited Jul 29, 2023 at 6:21

answered Jul 29, 2023 at 5:43

康桓瑋

46.8k5 gold badges69 silver badges135 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

Yakk - Adam Nevraumont Over a year ago

What might be informative is the fact those static asserts also work in mere constexpr functions. The consteval part didn't permit more static_assert usage here.

Collectives™ on Stack Overflow

Use of consteval function parameters in a static_assert

1 Answer 1

1 Comment

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Linked

Related