如何在“requires”约束中声明表达式的泛型类型？

Question

我可能在这里问了一个错误的问题，但我究竟做错了什么导致编译器认为我期望的堆栈弹出方法的约束是 std::same_as<void, T>?

#include <concepts>
#include <stack>

template <typename S, typename T>
concept generic_stack = requires(S s, T t) {
    s.push(t);
    { s.pop() } -> std::same_as<T>; // error seems to stem from here
};

template <typename T, generic_stack<T> S>
void compile_if_stack(S) {}

int main() {
    compile_if_stack<int>(std::stack<int>{});
}

我试过 std::same_as<decltype(s.pop()), T>; 它似乎有效，但我不明白前一种方法有什么问题。

完全错误

# clang 12.0.1
$ clang++ -std=c++20 main.cpp
main.cpp:14:5: error: no matching function for call to 'compile_if_stack'
    compile_if_stack<int>(std::stack<int>{});
    ^~~~~~~~~~~~~~~~~~~~~
main.cpp:11:6: note: candidate template ignored: constraints not satisfied [with T = int, S = std::stack<int>]
void compile_if_stack(S) {}
     ^
main.cpp:10:23: note: because 'generic_stack<std::stack<int>, int>' evaluated to false
template <typename T, generic_stack<T> S>
                      ^
main.cpp:7:25: note: because type constraint 'std::same_as<void, int>' was not satisfied:
    { s.pop() } -> std::same_as<T>; // error seems to stem from here
                        ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/11.1.0/../../../../include/c++/11.1.0/concepts:63:19: note: because '__detail::__same_as<void, int>' evaluated to false
      = __detail::__same_as<_Tp, _Up> && __detail::__same_as<_Up, _Tp>;
                  ^
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/11.1.0/../../../../include/c++/11.1.0/concepts:57:27: note: because 'std::is_same_v<void, int>' evaluated to false
      concept __same_as = std::is_same_v<_Tp, _Up>;
                          ^
1 error generated.

来自 GCC 11.1.0 的 C++ 编译器给出语义相同的错误消息。

Answer 1

std::stack 没有 return pop 上的值。它有一个单独的功能。即，top。所以 pop() 是一个 void 函数。因此错误。

Answer 2

这是因为 stack.pop() returns void，根据 std::stack::pop.

中的记录

约束不正确，您应该检查 top：

template <typename S, typename T>
concept generic_stack = requires(S s, T t) {
    s.push(t);
    { s.top() } -> std::same_as<T const&>;
};

如何在“requires”约束中声明表达式的泛型类型？

How do you declare a generic type of an expression in a `requires` constraint?

c++

templates

c++20

c++-concepts

完全错误