«language-lawyer» etiketlenmiş sorular

Düzenle 2 : Bir işlev daha önce bir C ++ kaynak dosyasında bulunan ancak bir C dosyasına kelimesi kelimesine taşındığında, yanlış sonuçlar döndürmeye başladığında garip bir test hatası ayıklama. Aşağıdaki MVE, sorunun GCC ile yeniden üretilmesine izin verir. Ancak, bir hevesle, örneği Clang ile (ve daha sonra VS ile) derlediğimde, …

10 c++  c  language-lawyer  bit-fields  truncation 

Aşağıdaki örnek kod yaparken ben aşağıdaki istisna olsun db.Entry(a).Collection(x => x.S).IsModified = true: System.InvalidOperationException: '' {Id: 0} 'anahtar değerine sahip başka bir örnek zaten izlendiği için' B 'varlık türü örneği izlenemiyor. Mevcut varlıkları eklerken, verilen anahtar değerine sahip yalnızca bir varlık örneğinin eklendiğinden emin olun. B örneklerini eklemek yerine neden …

10 c#  language-lawyer  entity-framework-core-3.1 

Aşağıdaki programı düşünün. #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } Program başarıyla derlenir ve çıktısı …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

Impl'yi Add<char> for Stringstandart kütüphaneye eklemeye çalışırken bu sorunla karşılaştım . Ancak operatör maskaralıkları olmadan kolayca çoğaltabiliriz. Bununla başlıyoruz: trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String { fn add(mut self, rhs: &str) -> Self { self.push_str(rhs); self } } Yeterince basit. Bununla, aşağıdaki …

10 rust  language-lawyer 

"Daha önce kesinlikle olur" ifadesi C ++ taslak standardında birkaç kez kullanılır. Örneğin: Fesih [basic.start.term] / 5 Stad saklama süresi olan bir nesnenin başlatılmasının tamamlanması, std :: atexit çağrısından önce gerçekleşirse (bkz., [Support.start.term]), std :: atexit işlevine yapılan çağrı nesnenin yıkıcısına yapılan çağrıdan önce sıralanır. Stad depolama süresine sahip bir …

10 c++  multithreading  language-lawyer  memory-model  happens-before 

Aşağıdaki programı düşünün: #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } GCC ve Clang ile libstdc ++ çağrı std::terminateve mesaj ile programı iptal terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct null not valid İstisna yapımında libc ++ …

9 c++  exception  language-lawyer 

Bu soru şu yorumdan kaynaklanıyor: C ++ 20 programları için Lambda ömür boyu açıklama bu örnekle ilgili olarak: auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } Yani soru, geri dönen koroutinin yürütülmesinin fooUB ile sonuçlanıp sonuçlanmayacağıdır. Bir üye işlevini "çağırma" …

9 c++  language-lawyer  c++20  c++-coroutine 

Yana düşük seviyeli nesne manipülasyonu için nesnelerin P0593 Örtülü oluşturulması kabul edilmiştir, nesneler artık oluşturulabilir dolaylı 20 C ++. Özellikle önerisi getirdiği ifade (örneğin belirli operasyonlar verir std::mallocotomatik olarak) belirli tipte nesnelerin ömrünü, sözde oluşturmak ve başlatmak örtük-ömür türleri , eğer böyle nesnelerin tanıtımı için aksi tanımsız davranışı ile bir …

9 c++  language-lawyer  c++20 

Aşağıdaki şablon yapısı göz önüne alındığında: template<typename T> struct Foo { Foo(T&&) {} }; Bu derlenir ve Tşu şekilde çıkarılır int: auto f = Foo(2); Ancak bu derlenmez: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template …

9 c++  templates  language-lawyer 

Takip koduna sahibim: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Bunu hem gcc 9.2 hem de clang (9.0) ile oluştururken, templateanahtar kelimeyi …

9 c++  templates  language-lawyer  dependent-name 

Ben yapılandırılmış bağlama için C ++ 17 özel bir sınıf tuple_size/ uzmanlaşmaya çalışırken bu sorunla karşılaştım tuple_element. Aşağıdaki kod GCC'de derlenir, ancak clang'da değil (her iki gövde sürümü, aşağıdaki bağlantıya bakın). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... Bs> using sfinae_v_t = sfinae_t<T, typename …

9 c++  templates  language-lawyer  template-specialization  partial-specialization 

Bunun oldukça yaygın bir konu olduğunu biliyorum, ancak tipik UB'nin bulunması kolay olduğu kadarıyla, bu varyantı bulamadım. Yani, verilerin gerçek bir kopyasını kaçınarak resmi olarak Pixel nesnelerini tanıtmaya çalışıyorum. Bu geçerli mi? struct Pixel { uint8_t red; uint8_t green; uint8_t blue; uint8_t alpha; }; static_assert(std::is_trivial_v<Pixel>); Pixel* promote(std::byte* data, std::size_t count) …

9 c++  language-lawyer  reinterpret-cast  object-lifetime  placement-new 

Can int (*)[]tamamlanmamış bir tür olabilir mi? C 2018 6.2.5 1 diyor ki: Bir çeviri birimindeki çeşitli noktalarda bir nesne türü eksik (o türdeki nesnelerin boyutunu belirlemek için yeterli bilgiye sahip olmayabilir ) veya tam (yeterli bilgiye sahip) olabilir. Dolayısıyla, bir türün boyutu biliniyorsa, türün tamamlanmış olduğu görülmektedir. 6.2.6.1 28, …

9 c  pointers  language-lawyer  incomplete-type 

Mu C ++ sırasını belirlemek spec operator newve yapıcı Aiçinde new C(A()). G ++ sıra A()- - new-> olsun C(), ama clang ++ new- A()- -> olsun C(). Aradaki fark belirtilmemiş davranışlardan mı kaynaklanıyor? g ++: 7.4.0 clang ++: 10.0.0 #include <iostream> #include <cstdlib> struct A { A() { std::cout …

9 c++  language-lawyer  c++17  order-of-execution 

Aşağıdaki kod parçacıklarını anlamaya çalışıyorum Snippet # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Ne gcc9 ne de clang9 buraya bir hata atmıyor. S. Bu kod neden derleniyor? A<B>B'den miras alırken somutlaşmıyor muyuz ? B'de VD yoktur, …

9 c++  templates  language-lawyer