C ++ 23 Programlama Dili: Standartta başka ne ilginç
C ++ 23'ün bazı önemli özellikleri vardır, ancak ayrıntılara ilginç eklemeler de vardır.
Bir hatırlatma olarak: C ++ 23'ün en önemli özellikleri.
Rainer Grimm yıllardır yazılım mimarı, ekip ve eğitim müdürü olarak çalıştı. C ++ programlama dilleri, Python ve Haskell hakkında makaleler yazmayı seviyor, ancak uzman konferanslarla konuşmayı da seviyor. Modern C ++ blogunda, C ++ tutkusuyla yoğun bir şekilde ilgileniyor.
En önemli C ++ 23 özellikleri
Bunun kesintisi ile C ++ 23, ana dilin küçük ama çok etkili bir özelliğini sunar. Bunu çıkartma, elin dolaylı olarak teslim edilen bir üye fonksiyonunun işlevinin tanımını açıkça yerine getirmesi için elle elle elle el ele geçirmesini sağlar. Bu türev sayesinde, C ++ 'da CRTP veya aşırı yük modeli gibi bazı karmaşık teknikler bir çocuk oyunu haline gelir.
C ++ 23 kütüphanesi birçok önemli ekleme alır. Standart kütüphane doğrudan olabilir import std; Konular veya c ++ 20 format halka std:
rint VE std:rintln başvurun. Ayrıca, performans nedenlerinden dolayı, std::flat_map. std::flap_map Bu bir düşüşün yerine geçmesi std::map. std:ptional Uyumluluk nedeniyle monadik bir arayüz ile genişletilir. Yeni veri türü std::expected Zaten değiştirilebilir bir arayüze sahiptir ve hataların tedavisi için beklenen veya beklenmedik bir değerden tasarruf edebilir. Sayesinde std::mdspan Çok boyutlu bir aralık alıyoruz. std::generator Sonuçta, bir güç akışı üreten ilk beton koro. std::generator C ++ 23'te de gelişen aralıkların bir parçasıdır.
Önceki makalemde daha fazla ayrıntı mevcut:
Ana dil
Katı genişliğe sahip akış kontrol türleri
Şimdiye kadar, C ++ aşağıdaki veri türlerini desteklemektedir:
Yeni veri türleri başlıkta <stdfloat> tanımlanmış. Varsayılan bir makro ile, uygulamanız yeni veri türlerini destekliyorsa doğrulanabilir.
Stackrap
Mevcut yığının analizi genellikle problemleri çözmek için çok yararlıdır. Yeni Stacktrace-Bibilothk tam olarak bunu sunuyor.
Kütüphane iki sınıftan oluşur:
Sınıf basic_stacktrace Yığının veya belirli bir parçanın tüm izinin bir anıdır.
Hala kafası karıştı mı?
Aşağıdaki basit örnekte, main İşlev işlevi func1 AÇIK, func1 çağrı func2 Sonraki ve İleri E func2 çağrı func3 AÇIK.
// stacktrace1.cpp
#include <iostream>
#include <stacktrace>
void func3() {
std::cout << std::stacktrace::current() << 'n';
}
void func2() {
func3();
}
void func1() {
func2();
}
int main() {
func1();
}
func3 Statik işlevi arayın current AÇIK std::stacktrace AÇIK. std::stacktrace O bir takma ad std::basic_stacktrace Standart tahsisat ile.
Program, yürütme sırasında yığın izi hakkında bilgi sağlar.
Programın Explorer derleyicisi ile derlenmesi gerçek bir zorluktu. Doğru GCC versiyonunu ve kitapçıları bulmak biraz zaman aldı.
İşte G ++ 13.1 için komut satırı: g++ -std=c++23 -lstdc++_libbacktrace.
Sayesinde std::stacktrace_entry Yığının izi sorgulanabilir.
// stacktrace2.cpp
#include <iostream>
#include <stacktrace>
void func3() {
auto stacktrace = std::stacktrace::current();
for (const auto& entry: stacktrace) {
std::cout << "Description: " << entry.description() << 'n';
std::cout << "file: " << entry.source_file()
<< " and line: " << entry.source_line() <<'n';
std::cout << 'n';
}
}
void func2() {
func3();
}
void func1() {
func2();
}
int main() {
func1();
}
İşlevde func3 Yığının iz söylentilerini gerçekleştirdim ve açıklamanızı, dosyalarınızı ve satırınızı açıkça gösterdim.
C ++ 23'ün diğer özellikleri hakkında sadece birkaç kelime yazacağım. Örnekler cppReference.com'dan geliyor.
Bir programın performansını etkileyebilecek iki özellik ile başlamak istiyorum.
Std :: ulaşılamaz
Yapabilirsiniz std::unreachable Ulaşılamayan kodu işaretlemek için kullanın. Tanımlanmamış davranış, STD :: Ulaşılamayan Çağrıya dönüşür.
// from https://en.cppreference.com/w/cpp/utility/unreachable
switch (xy)
{
case 128: [[fallthrough]];
case 256: [[fallthrough]];
case 512: /* ... */
tex.clear();
tex.resize(xy * xy, Color{0, 0, 0, 0});
break;
default:
std::unreachable();
}
std::move_only_function
C ++ 11 ile var std::function. std::function Polimorfik fonksiyonel bir zarftır ve herhangi bir köpeği alıp onlara bir isim verebilir. Kanallar, işlevler, işlevsel nesneler veya lambdalar gibi işlevler gibi davranan varlıklardır.
Daha fazla std::function Burada bulabilirsiniz: TR1 ve C ++ 11'de fonksiyonel.
Aksine std::function Şekerler std::move_only_function Sadece yapılabilir bir callling alın. Çekilen nesne içinde olabilir std::move_only_function Daha fazla bellek gereksinimlerinden kaçınmak için kaydedilecek.
// from https://en.cppreference.com/w/cpp/utility/functional/move_only_function
auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
// std::function<void()> function = std::move(lambda); // Error
std::move_only_function<void()> function = std::move(lambda); // OK
std::byteswap
std::byteswap Bir değerle değiştirilen baytlar n. n ayrılmaz bir parça olmalıdır.
Aşağıdaki program çalışır std::byteswap İLE.
// from https://en.cppreference.com/w/cpp/numeric/byteswap
#include <bit>
#include <concepts>
#include <cstdint>
#include <iomanip>
#include <iostream>
template<std::integral T>
void dump(T v, char term = 'n')
{
std::cout << std::hex << std::uppercase << std::setfill('0')
<< std::setw(sizeof(T) * 2) << v << " : ";
for (std::size_t i{}; i != sizeof(T); ++i, v >>= 8)
std::cout << std::setw(2)
<< static_cast<unsigned>(T(0xFF) & v) << ' ';
std::cout << std::dec << term;
}
int main()
{
static_assert(std::byteswap('a') == 'a');
std::cout << "byteswap for U16:n";
constexpr auto x = std::uint16_t(0xCAFE);
dump(x);
dump(std::byteswap(x));
std::cout << "nbyteswap for U32:n";
constexpr auto y = std::uint32_t(0xDEADBEEFu);
dump;
dump(std::byteswap);
std::cout << "nbyteswap for U64:n";
constexpr auto z = std::uint64_t{0x0123456789ABCDEFull};
dump(z);
dump(std::byteswap(z));
}
Son olarak, program burada baskı.
Sırada ne var?
Bir sonraki makalemde C ++ 26'ya gidiyorum.
(RME)
C ++ 23 Programlama Dili: Standartta başka ne ilginç
C ++ 23'ün bazı önemli özellikleri vardır, ancak ayrıntılara ilginç eklemeler de vardır.
Bir hatırlatma olarak: C ++ 23'ün en önemli özellikleri.
Rainer Grimm yıllardır yazılım mimarı, ekip ve eğitim müdürü olarak çalıştı. C ++ programlama dilleri, Python ve Haskell hakkında makaleler yazmayı seviyor, ancak uzman konferanslarla konuşmayı da seviyor. Modern C ++ blogunda, C ++ tutkusuyla yoğun bir şekilde ilgileniyor.
En önemli C ++ 23 özellikleri
Bunun kesintisi ile C ++ 23, ana dilin küçük ama çok etkili bir özelliğini sunar. Bunu çıkartma, elin dolaylı olarak teslim edilen bir üye fonksiyonunun işlevinin tanımını açıkça yerine getirmesi için elle elle elle el ele geçirmesini sağlar. Bu türev sayesinde, C ++ 'da CRTP veya aşırı yük modeli gibi bazı karmaşık teknikler bir çocuk oyunu haline gelir.
C ++ 23 kütüphanesi birçok önemli ekleme alır. Standart kütüphane doğrudan olabilir import std; Konular veya c ++ 20 format halka std:
rint VE std:rintln başvurun. Ayrıca, performans nedenlerinden dolayı, std::flat_map. std::flap_map Bu bir düşüşün yerine geçmesi std::map. std:ptional Uyumluluk nedeniyle monadik bir arayüz ile genişletilir. Yeni veri türü std::expected Zaten değiştirilebilir bir arayüze sahiptir ve hataların tedavisi için beklenen veya beklenmedik bir değerden tasarruf edebilir. Sayesinde std::mdspan Çok boyutlu bir aralık alıyoruz. std::generator Sonuçta, bir güç akışı üreten ilk beton koro. std::generator C ++ 23'te de gelişen aralıkların bir parçasıdır.Önceki makalemde daha fazla ayrıntı mevcut:
Ana dil
- C ++ 23: Açık bölümlerin bu oluşturulmasını çıkarın
- C ++ 23: Bunun kesintisi ile sözdizimsel şeker
- C ++ 23: Ana dilde küçük inciler
- C ++ 23: Ana dilde daha küçük inciler
- C ++ 23: Modüler standart bir kütüphane ve iki yeni işlev
- Aralıklar: C ++ 23 ile iyileştirmeler
- C ++ 23: Std ::
- C ++ 23: Dört yeni ilişkisel kap
- C ++ 23: Multi -Emiss -Emiss -Scrostructions View
Katı genişliğe sahip akış kontrol türleri
Şimdiye kadar, C ++ aşağıdaki veri türlerini desteklemektedir:
- Sonek yok: Çift
- Fof sonek: şamandıra
- L o l Sonek: Uzun çift
Yeni veri türleri başlıkta <stdfloat> tanımlanmış. Varsayılan bir makro ile, uygulamanız yeni veri türlerini destekliyorsa doğrulanabilir.
Stackrap
Mevcut yığının analizi genellikle problemleri çözmek için çok yararlıdır. Yeni Stacktrace-Bibilothk tam olarak bunu sunuyor.
Kütüphane iki sınıftan oluşur:
- stacktrace_entry: Yığının izinde bir değerlendirmenin temsili
- basic_stacktrace: Yığının tüm izinin veya belirli bir parçanın bir görüntüsü
Sınıf basic_stacktrace Yığının veya belirli bir parçanın tüm izinin bir anıdır.
Hala kafası karıştı mı?
Aşağıdaki basit örnekte, main İşlev işlevi func1 AÇIK, func1 çağrı func2 Sonraki ve İleri E func2 çağrı func3 AÇIK.
// stacktrace1.cpp
#include <iostream>
#include <stacktrace>
void func3() {
std::cout << std::stacktrace::current() << 'n';
}
void func2() {
func3();
}
void func1() {
func2();
}
int main() {
func1();
}
func3 Statik işlevi arayın current AÇIK std::stacktrace AÇIK. std::stacktrace O bir takma ad std::basic_stacktrace Standart tahsisat ile.
Program, yürütme sırasında yığın izi hakkında bilgi sağlar.
Programın Explorer derleyicisi ile derlenmesi gerçek bir zorluktu. Doğru GCC versiyonunu ve kitapçıları bulmak biraz zaman aldı.
İşte G ++ 13.1 için komut satırı: g++ -std=c++23 -lstdc++_libbacktrace.
Sayesinde std::stacktrace_entry Yığının izi sorgulanabilir.
// stacktrace2.cpp
#include <iostream>
#include <stacktrace>
void func3() {
auto stacktrace = std::stacktrace::current();
for (const auto& entry: stacktrace) {
std::cout << "Description: " << entry.description() << 'n';
std::cout << "file: " << entry.source_file()
<< " and line: " << entry.source_line() <<'n';
std::cout << 'n';
}
}
void func2() {
func3();
}
void func1() {
func2();
}
int main() {
func1();
}
İşlevde func3 Yığının iz söylentilerini gerçekleştirdim ve açıklamanızı, dosyalarınızı ve satırınızı açıkça gösterdim.
C ++ 23'ün diğer özellikleri hakkında sadece birkaç kelime yazacağım. Örnekler cppReference.com'dan geliyor.
Bir programın performansını etkileyebilecek iki özellik ile başlamak istiyorum.
Std :: ulaşılamaz
Yapabilirsiniz std::unreachable Ulaşılamayan kodu işaretlemek için kullanın. Tanımlanmamış davranış, STD :: Ulaşılamayan Çağrıya dönüşür.
// from https://en.cppreference.com/w/cpp/utility/unreachable
switch (xy)
{
case 128: [[fallthrough]];
case 256: [[fallthrough]];
case 512: /* ... */
tex.clear();
tex.resize(xy * xy, Color{0, 0, 0, 0});
break;
default:
std::unreachable();
}
std::move_only_function
C ++ 11 ile var std::function. std::function Polimorfik fonksiyonel bir zarftır ve herhangi bir köpeği alıp onlara bir isim verebilir. Kanallar, işlevler, işlevsel nesneler veya lambdalar gibi işlevler gibi davranan varlıklardır.
Daha fazla std::function Burada bulabilirsiniz: TR1 ve C ++ 11'de fonksiyonel.
Aksine std::function Şekerler std::move_only_function Sadece yapılabilir bir callling alın. Çekilen nesne içinde olabilir std::move_only_function Daha fazla bellek gereksinimlerinden kaçınmak için kaydedilecek.
// from https://en.cppreference.com/w/cpp/utility/functional/move_only_function
auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
// std::function<void()> function = std::move(lambda); // Error
std::move_only_function<void()> function = std::move(lambda); // OK
std::byteswap
std::byteswap Bir değerle değiştirilen baytlar n. n ayrılmaz bir parça olmalıdır.
Aşağıdaki program çalışır std::byteswap İLE.
// from https://en.cppreference.com/w/cpp/numeric/byteswap
#include <bit>
#include <concepts>
#include <cstdint>
#include <iomanip>
#include <iostream>
template<std::integral T>
void dump(T v, char term = 'n')
{
std::cout << std::hex << std::uppercase << std::setfill('0')
<< std::setw(sizeof(T) * 2) << v << " : ";
for (std::size_t i{}; i != sizeof(T); ++i, v >>= 8)
std::cout << std::setw(2)
<< static_cast<unsigned>(T(0xFF) & v) << ' ';
std::cout << std::dec << term;
}
int main()
{
static_assert(std::byteswap('a') == 'a');
std::cout << "byteswap for U16:n";
constexpr auto x = std::uint16_t(0xCAFE);
dump(x);
dump(std::byteswap(x));
std::cout << "nbyteswap for U32:n";
constexpr auto y = std::uint32_t(0xDEADBEEFu);
dump
; dump(std::byteswap
);
std::cout << "nbyteswap for U64:n";
constexpr auto z = std::uint64_t{0x0123456789ABCDEFull};
dump(z);
dump(std::byteswap(z));
}
Son olarak, program burada baskı.
Sırada ne var?
Bir sonraki makalemde C ++ 26'ya gidiyorum.
(RME)