Câu hỏi được gắn thẻ «c++-concepts»

Một trong những góc của khái niệm C ++ 20 là có những tình huống nhất định mà bạn phải viết requires requires. Chẳng hạn, ví dụ này từ [expr.prim.req] / 3 : Một biểu thức đòi hỏi cũng có thể được sử dụng trong mệnh đề đòi hỏi ([temp]) …

161 c++  c++-concepts  c++20 

Tôi muốn biết sự khác biệt về ngữ nghĩa giữa đề xuất khái niệm đầy đủ C ++ và các ràng buộc mẫu (ví dụ: các ràng buộc như đã xuất hiện trong Dlang hoặc đề xuất khái niệm mới cho C ++ 1y ). Những khái niệm chính thức …

96 c++  c++11  d  c++-concepts 

Được : #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> …

23 c++  language-lawyer  c++20  c++-concepts 

Các khái niệmequality_­comparable_with<T, U> được thiết kế để tuyên bố rằng đối tượng của loại hình Tvà Ucó thể so sánh tương đương với nhau, và nếu họ đang có, thì đây có ý nghĩa mong đợi. Tốt rồi. Tuy nhiên, khái niệm này cũng đòi hỏi common_reference_t<T&, U&>phải tồn …

12 c++  c++20  c++-concepts 

Tôi muốn viết một khái niệm Có thể lập chỉ mục có nghĩa là một chuỗi có bắt đầu / kết thúc trả về RandomAccessIterator hoặc toán tử [] được xác định và trả về giá trị của loại không rỗng. Tôi đã sử dụng các ý tưởng từ bài …

10 c++  c++-concepts 

Trong ví dụ sau, các đối số hàm được sử dụng để kiểm tra với một biểu thức yêu cầu cho dù một biểu thức sử dụng chúng có được hình thành tốt hay không. Biểu thức yêu cầu không có đối số; nó sử dụng các biến trong phạm …

10 c++  c++20  c++-concepts 

Lý lịch Chúng tôi biết rằng khái niệm std::same_asnày là bất khả tri theo thứ tự (nói cách khác, đối xứng): std::same_as<T, U>tương đương với std::same_as<U, T>( câu hỏi liên quan ). Trong câu hỏi này, tôi muốn thực hiện một cái gì đó tổng quát hơn: template <typename ... …

8 c++  c++20  c++-concepts  fold-expression