C ++ 26'ya genel bir bakış: Çekirdek dil
Bu görüntü, C ++ 26'nın nasıl oluşturulduğuna dair bir ilk izlenim sunar.
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.
Bulutlu sularda balıkçılık
Görüntü sadece C ++ 26'nın nasıl göründüğüne dair ilk izlenim vermelidir. Önümüzdeki aylarda C ++ 26 hakkında yazıyorum, gerekirse uyarlayacağım. Örneğin, üç güçlü özellik yansıttı, sözleşmeler ve std::execution Standardizasyonlarına doğru büyük bir adım attı. Aksine, fotoğraftaki nedenin yazışmasını kasten görmezden geliyorum.
Yansıma veya sözleşmeler gibi çok etkili özellikler, uygulanabilir minimum ürünün çevik fikrini uygular:
“Minimum uygulanabilir ürün (MVP), bu nedenle ürünün gelecekteki gelişimi için geri bildirim sağlayabilen ilk müşteriler tarafından kullanılacak kadar işlevselliğe sahip bir ürünün versiyonudur.”
Bu, C ++ 26'nın yalnızca yansıma veya sözleşmeler gibi işlevsellik için başlangıç noktası olduğu anlamına gelir. Mümkünse, eylemdeki özellikleri gösteririm. Yepyeni C ++ derleyicilerinde birçok özellik zaten uygulanmıştır. Geri kalanı için prototip uygulamaları umuyorum.
Ana dille başlıyorum.
Ana dil
Refleks
Yansıma, bir programın yapısını ve davranışını inceleme, düşünme ve değiştirme yeteneğidir. Bu, C ++ 'daki derleme süresi programlamasını çok daha güçlü hale getirir. Bu makalede çok fazla teori ile sıkılmak istemiyorum. Bu yüzden size en sevdiğim örneği P2996R5 yansıma teklifinden gösteriyorum.
Kurslarımda sık sık cevaplamam gereken bir soru okuyor: Bir numaralandırıcıyı bir dizeye nasıl dönüştürebilirim?
// enumString.cpp
#include <iostream>
#include <experimental/meta>
#include <string>
#include <type_traits>
// start 'expand' definition
namespace __impl {
template<auto... vals>
struct replicator_type {
template<typename F>
constexpr void operator>>(F body) const {
(body.template operator()<vals>(), ...);
}
};
template<auto... vals>
replicator_type<vals...> replicator = {};
}
template<typename R>
consteval auto expand(R range) {
std::vector<std::meta::info> args;
for (auto r : range) {
args.push_back(std::meta::reflect_value(r));
}
return substitute(^__impl::replicator, args);
}
// end 'expand' definition
template<typename E>
requires std::is_enum_v<E> // (1)
constexpr std::string enum_to_string(E value) {
std::string result = "<unnamed>";
[:expand(std::meta::enumerators_of(^E)):] >> // (2)
[&]<auto e>{
if (value == [:e:]) {
result = std::meta::identifier_of(e); // (3)
}
};
return result;
}
int main() {
std::cout << 'n';
enum Color { red, green, blue };
std::cout << "enum_to_string(Color::red): " << enum_to_string(Color::red) << 'n';
// std::cout << "enum_to_string(Color(42)): " << enum_to_string(42) << 'n';
std::cout << 'n';
}
Bu örnekte, deneysel özellikler (std::meta)). İşte programın baskısı:
İşlevsel modelde kısaca istiyorum enum_to_string girmek. İşlev expand Bu sadece alternatif bir çözüm. Denilen işlev enum_to_string(Color(42)) Durur çünkü işlev bir numaralandırma gerektirir: requires std::is_enum_v<E> (Satır 1).
Hat (1) bir yansıma operatörünü dönüştürür (^E) ve meta işlevini arayın enum_to_std::meta::enumerators_of(^E) AÇIK. Sonunda, sözde Spicer ([:refl:]))) (2) yansıma için dilbilgisi unsurları. (3) satır (3) 'deki ikinci hedef -dizeyi oluşturun: std:meta::identifier_of(e)). Meta fonksiyonlar derleme dönemine ve yansıma için gerçekleştirilir.
Sözleşmeler
Bir sözleşme, yazılım bileşenleri için arayüzleri belirler ve kontrol eder. Yazılımın bu bileşenleri, önceden sözleşmeler, direkler ve değişmez olan işlevlerdir.
İşte P2900 teklifinin basit bir örneği.
int f(const int x)
pre (x != 1) // a precondition assertion
post(r : r != 2) // a postcondition assertion; r refers to the return value of f
{
contract_assert (x != 3); // an assertion statement
return x;
}
İşlev f Bir ön koşul, takip ve değişmez. Önkoşul, fonksiyonel çağrıdan önce, işlevin çağrısından sonra arka koşul ve çağrı sırasında değişmezden önce kontrol edilir.
İşlevi 1, 2 veya 3 konularıyla arayın, sözleşmenin ihlaline yol açar. Sözleşmenin ihlaline tepki vermenin çeşitli yolları vardır.
void g()
{
f(0); // no contract violation
f(1); // violates precondition assertion of f
f(2); // violates postcondition assertion of f
f(3); // violates assertion statement within f
f(4); // no contract violation
}
Yansıma ve sözleşmelere ek olarak, C ++ 26'nın temel dili daha da fazla sunmaktadır. Onları kısaca vermek ve ilgili önerilerden bir kod bölümünü sunmak istiyorum.
auto [x, y, _] = f();
Altı çizili (_) “Umurumda değil” için. Ve birkaç kez kullanılabilir.
static_assert(sizeof(S) == 1,
std::format("Unexpected sizeof: expected 1, got {}", sizeof(S))
C ++ 26'daki modellerde birçok gelişme var. Benim favorim paketin göstergesidir:
template <typename... T>
constexpr auto first_plus_last(T... values) -> T...[0] {
return T...[0](values...[0] + values...[sizeof...(values)-1]);
}
int main() {
//first_plus_last(); // ill formed
static_assert(first_plus_last(1, 2, 10) == 11);
}
delete("Should have a reason");
Sırada ne var?
Bir sonraki makalemde C ++ 26 kitapçığına genel bir bakış vereceğim.
(Mayıs)
C ++ 26'ya genel bir bakış: Çekirdek dil
Bu görüntü, C ++ 26'nın nasıl oluşturulduğuna dair bir ilk izlenim sunar.
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.
Bulutlu sularda balıkçılık
Görüntü sadece C ++ 26'nın nasıl göründüğüne dair ilk izlenim vermelidir. Önümüzdeki aylarda C ++ 26 hakkında yazıyorum, gerekirse uyarlayacağım. Örneğin, üç güçlü özellik yansıttı, sözleşmeler ve std::execution Standardizasyonlarına doğru büyük bir adım attı. Aksine, fotoğraftaki nedenin yazışmasını kasten görmezden geliyorum.
Yansıma veya sözleşmeler gibi çok etkili özellikler, uygulanabilir minimum ürünün çevik fikrini uygular:
“Minimum uygulanabilir ürün (MVP), bu nedenle ürünün gelecekteki gelişimi için geri bildirim sağlayabilen ilk müşteriler tarafından kullanılacak kadar işlevselliğe sahip bir ürünün versiyonudur.”
Bu, C ++ 26'nın yalnızca yansıma veya sözleşmeler gibi işlevsellik için başlangıç noktası olduğu anlamına gelir. Mümkünse, eylemdeki özellikleri gösteririm. Yepyeni C ++ derleyicilerinde birçok özellik zaten uygulanmıştır. Geri kalanı için prototip uygulamaları umuyorum.
Ana dille başlıyorum.
Ana dil
Refleks
Yansıma, bir programın yapısını ve davranışını inceleme, düşünme ve değiştirme yeteneğidir. Bu, C ++ 'daki derleme süresi programlamasını çok daha güçlü hale getirir. Bu makalede çok fazla teori ile sıkılmak istemiyorum. Bu yüzden size en sevdiğim örneği P2996R5 yansıma teklifinden gösteriyorum.
Kurslarımda sık sık cevaplamam gereken bir soru okuyor: Bir numaralandırıcıyı bir dizeye nasıl dönüştürebilirim?
// enumString.cpp
#include <iostream>
#include <experimental/meta>
#include <string>
#include <type_traits>
// start 'expand' definition
namespace __impl {
template<auto... vals>
struct replicator_type {
template<typename F>
constexpr void operator>>(F body) const {
(body.template operator()<vals>(), ...);
}
};
template<auto... vals>
replicator_type<vals...> replicator = {};
}
template<typename R>
consteval auto expand(R range) {
std::vector<std::meta::info> args;
for (auto r : range) {
args.push_back(std::meta::reflect_value(r));
}
return substitute(^__impl::replicator, args);
}
// end 'expand' definition
template<typename E>
requires std::is_enum_v<E> // (1)
constexpr std::string enum_to_string(E value) {
std::string result = "<unnamed>";
[:expand(std::meta::enumerators_of(^E)):] >> // (2)
[&]<auto e>{
if (value == [:e:]) {
result = std::meta::identifier_of(e); // (3)
}
};
return result;
}
int main() {
std::cout << 'n';
enum Color { red, green, blue };
std::cout << "enum_to_string(Color::red): " << enum_to_string(Color::red) << 'n';
// std::cout << "enum_to_string(Color(42)): " << enum_to_string(42) << 'n';
std::cout << 'n';
}
Bu örnekte, deneysel özellikler (std::meta)). İşte programın baskısı:
İşlevsel modelde kısaca istiyorum enum_to_string girmek. İşlev expand Bu sadece alternatif bir çözüm. Denilen işlev enum_to_string(Color(42)) Durur çünkü işlev bir numaralandırma gerektirir: requires std::is_enum_v<E> (Satır 1).
Hat (1) bir yansıma operatörünü dönüştürür (^E) ve meta işlevini arayın enum_to_std::meta::enumerators_of(^E) AÇIK. Sonunda, sözde Spicer ([:refl:]))) (2) yansıma için dilbilgisi unsurları. (3) satır (3) 'deki ikinci hedef -dizeyi oluşturun: std:meta::identifier_of(e)). Meta fonksiyonlar derleme dönemine ve yansıma için gerçekleştirilir.
Sözleşmeler
Bir sözleşme, yazılım bileşenleri için arayüzleri belirler ve kontrol eder. Yazılımın bu bileşenleri, önceden sözleşmeler, direkler ve değişmez olan işlevlerdir.
İşte P2900 teklifinin basit bir örneği.
int f(const int x)
pre (x != 1) // a precondition assertion
post(r : r != 2) // a postcondition assertion; r refers to the return value of f
{
contract_assert (x != 3); // an assertion statement
return x;
}
İşlev f Bir ön koşul, takip ve değişmez. Önkoşul, fonksiyonel çağrıdan önce, işlevin çağrısından sonra arka koşul ve çağrı sırasında değişmezden önce kontrol edilir.
İşlevi 1, 2 veya 3 konularıyla arayın, sözleşmenin ihlaline yol açar. Sözleşmenin ihlaline tepki vermenin çeşitli yolları vardır.
void g()
{
f(0); // no contract violation
f(1); // violates precondition assertion of f
f(2); // violates postcondition assertion of f
f(3); // violates assertion statement within f
f(4); // no contract violation
}
Yansıma ve sözleşmelere ek olarak, C ++ 26'nın temel dili daha da fazla sunmaktadır. Onları kısaca vermek ve ilgili önerilerden bir kod bölümünü sunmak istiyorum.
- Karakterler ve geniş karakterler
auto [x, y, _] = f();
Altı çizili (_) “Umurumda değil” için. Ve birkaç kez kullanılabilir.
- static_assert–Genleşme
static_assert(sizeof(S) == 1,
std::format("Unexpected sizeof: expected 1, got {}", sizeof(S))
C ++ 26'daki modellerde birçok gelişme var. Benim favorim paketin göstergesidir:
template <typename... T>
constexpr auto first_plus_last(T... values) -> T...[0] {
return T...[0](values...[0] + values...[sizeof...(values)-1]);
}
int main() {
//first_plus_last(); // ill formed
static_assert(first_plus_last(1, 2, 10) == 11);
}
delete("Should have a reason");
Sırada ne var?
Bir sonraki makalemde C ++ 26 kitapçığına genel bir bakış vereceğim.
(Mayıs)