6月初，标准化C ++国际工作组WG21的会议在拉珀斯维尔－尤纳市结束。
以下是您等待中的一切：
- 合同和朋友
- 概念（没有朋友）
- __has_cpp_attribute（不太可能）
- bit_cast <我的东西>（some_array）
- 包含 ， shift_left ， shift_right ， ispow2 ， ceil2 ...和带有新调味料的旧算法
- atomic_ref
- 可以在模板中编写哪些新内容，以及如何使用
- constexpr虚拟foo（）
- 并行性2，反射和执行器TS
还将有一个奖励：专家迷你节：
- 用户声明的虚拟析构函数不会影响类型琐碎性
- 我在哪里可以放置感叹号，以及它如何有用
- constexpr std :: regex mail_regex（R“（（（？：（？：[^ <>（）\ [\]。，;：\ s @ \”] +（？：\。[^ <>（）\ [ \]。，;：\ 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.: