💕 ⏺️ 😭 रास्ते में सी ++ 20! रैपरविल योना में बैठक ✳️ 👩 🎼

जून की शुरुआत में, मानकीकरण C ++ पर अंतर्राष्ट्रीय कार्यकारी समूह WG21 की बैठक रैपरविल-योना शहर में समाप्त हुई।

यहां आपको कट के तहत क्या इंतजार है:

संविदा और मित्र
अवधारणाओं (कोई दोस्त नहीं)
__has_cpp_attribute (असंभावित)
बिट_कास्ट <my_stuff> (some_array)
शामिल है , shift_left , shift_right , ispow2 , ceil2 ... और नई सॉस के साथ पुराने एल्गोरिदम
atomic_ref
टेम्पलेट्स में क्या नया लिखा जा सकता है और यह कैसे उपयोगी है
constexpr आभासी फू ()
समानांतरवाद 2, परावर्तन, और निष्पादन टीएस

एक बोनस भी होगा: विशेषज्ञों के लिए लघुकरण:

उपयोगकर्ता-घोषित आभासी विध्वंसक टाइप तुच्छता को प्रभावित नहीं करता है
मैं एक विस्मयादिबोधक चिह्न कहां रख सकता हूं और यह कैसे उपयोगी हो सकता है
constexpr std :: regex mail_regex (R "(?:? (?: [^ <>) ([\ \]।; ;: \ s @ \"] + (?: \ _ [^> () \ _) \]।; ;: \ _ @ \ "] +) *) | \" + \ "") @ (?:!: (?:: [^ <> () \ [\ \]।;: \ s @ \ " ] + \ _।) + [^ <> () \ [\];;: \ s @ \ "] {2,})}))

ठेके

C ++ 20 में, उन्होंने अनुबंध स्वीकार कर लिया। तो, यह जल्द ही मुखर उपयोग करने के बारे में भूल जाना संभव होगा, बॉक्स से सबसे अच्छा प्रलेखन प्राप्त करें, और यहां तक कि एक प्रदर्शन को बढ़ावा भी दें। व्यवहार में, अनुबंध इस तरह दिखते हैं:

std::string get_name_by_login(std::string_view login)
    [[expects: !login.empty() ]]
    [[ensures ret_value: !ret_value.empty() ]]
;

, , . , :

( ) .
( ) . , , .
(, doxygen) / .
, (, ).

.

21 Fails, . , :

void(const std::contract_violation & e) noexcept {
    std::cerr << "Contract violated in function " << e.function_name() << '\n'
        << std::stacktrace();
}

Contract violated in function std::array<T, N>::operator[](size_type) [with T = int; long unsigned int N = 5ul; ]': 
 0# std::array<int, 5ul>::operator[](unsigned long) at /usr/include/c++/array:124
 1# bar(int) at ../example/assert_handler.cpp:17
 2# foo(int) at ../example/assert_handler.cpp:25
 3# main at ../example/assert_handler.cpp:54
 4# 0x00007F991FD69F45 in /lib/x86_64-linux-gnu/libc.so.6
 5# 0x0000000000401139
}

std::stacktrace C++20, design review LEWG, LWG. .

, Ranges TS. compile-time :

template <class F>
    requires Invocable<F>
void my_executor::execute(F f) noexcept {
    lock_guard l{data_mutex_};
    push(std::move(f));
}

proposal.

Feature-test macros

. . unlikely, __has_cpp_attribute(unlikely).

, .

bit_cast

reinterpret_cast – . , . C++ .

,

 my_type my = reinterpret_cast<my_type&>(some_array);

my_type my = std::bit_cast<my_type>(some_array);

, some_array my_type , , . , type aliasing.

, C++20:

shift_left(it_begin, it_end, unsigned n) – n, *it_begin = std::move(*(it_begin + n)), *(it_begin + 1) = std::move(*(it_begin + n + 1))...
shift_right(it_begin, it_end, unsigned n) – , , *(it_begin + n) = std::move(*it_begin), *(it_begin + n + 1) = std::move(*(it_begin + 1))...
ispow2(x) – true ,
ceil2(x) – ,
contains – bool contains(const key& v), true

, , std::swap std::swap constexpr. , std::nth_element . 21.

atomic_ref

, - ? atomic_ref<T> ( ).

, , atomic_ref<T>. atomic_ref, atomic_ref, .

, (string_view, atomic_ref), . , .

X, operator<=> :

struct X {
    // ...
    std::strong_equality operator<=>(const X&, const X&) = default;
    // ...
};

template <X x>
struct x_as_template_param {
    // ...
};

operator<=>.

constexpr virtual

, , constexpr .

constexpr virtual int foo();, int foo() constexpr, . foo() , constexpr .

, , std::type_info, Boost.TypeIndex, compile-time :

template <class T, class U>
constexpr bool is_same() {
    constexpr bool res = (typeid(T) == typeid(U));
    return res;
}

Parallelism 2, Reflection Executors TS

Parallelism 2 , . type traits, simd .

Reflection (TS). , <type_traits>. constexpr constexpr! (. ).

Executors C++20, , , TS. , .

user-declared virtual destructor

, C++20 ( ), , :

struct i_am_trivial {
    int foo;
    char bar;

    virtual ~i_am_trivial() = default;
};

, , . , , , , . , , std::vector<Base>, Base .

constexpr!

, C++20 – constexpr! .

, runtime . C++.

constexpr! . .. constexpr! , ( ) . , . , , Boost.Hana [Boost.]PFR.

: constexpr std::regex

/ . , , .

C++ :

bool is_valid_mail(std::string_view mail) {
    static const std::regex mail_regex(R"((?:(?:[^<>()\[\].,;:\s@\"]+(?:\.[^<>()\[\].,;:\s@\"]+)*)|\".+\")@(?:(?:[^<>()\[\].,;:\s@\"]+\.)+[^<>()\[\].,;:\s@\"]{2,}))");

    return std::regex_match(
        std::cbegin(mail),
        std::cend(mail),
        mail_regex
    );
}

is_valid_mail(). , .

constexpr (constexpr new, is_constexpr_evaluated() .) C++ , constexpr std::regex.

constexpr std::regex is_valid_mail() . , GCC static const, .. GCC-6 constexpr – , GCC .

, constexpr std::regex?

P.S.: C++ Yandex.Taxi Coding Fest. C++17.

रास्ते में सी ++ 20! रैपरविल योना में बैठक