Pertanyaan yang diberi tag «language-lawyer»

MSVC, Dentang dan GCC tidak setuju pada kode ini: struct Base { int x; }; struct Der1 : public Base {}; struct Der2 : public Base {}; struct AllDer : public Der1, public Der2 { void foo() { Der1::Base::x = 5; } }; Godbolt GCC: <source>: In member function 'void …

12 c++  language-lawyer  multiple-inheritance  diamond-problem  qualified-name 

Pertimbangkan tiga structs berikut : class blub { int i; char c; blub(const blub&) {} }; class blob { char s; blob(const blob&) {} }; struct bla { blub b0; blob b1; }; Pada platform tipikal di mana int4 byte, ukuran, pelurusan dan total padding 1 adalah sebagai berikut: struct …

12 c++  language-lawyer  c++20 

Sama seperti judulnya: jaminan apa yang ada untuk unit pengembalian fungsi Haskell yang akan dievaluasi? Orang akan berpikir bahwa tidak perlu menjalankan evaluasi apa pun dalam kasus seperti itu, kompilator dapat mengganti semua panggilan seperti itu dengan ()nilai langsung kecuali jika ada permintaan eksplisit untuk ketatnya, dalam hal ini kode …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

Pertanyaan ini mengacu pada penambahan P0593 ke draft C ++ 20 terbaru . Ini contoh saya: #include <cstdlib> #include <cstdio> void foo(void *p) { if ( std::getchar() == 'i' ) { *(int *)p = 2; std::printf("%d\n", *(int *)p); } else { *(float *)p = 2; std::printf("%f\n", *(float *)p); } } …

11 c++  language-lawyer  c++20 

Kode berikut mengkompilasi baik-baik saja dengan dentang-trunk dalam mode c ++ 17 tetapi istirahat dalam mode c ++ 2a (mendatang c ++ 20): // Meta struct describing the result of a comparison struct Meta {}; struct Foo { Meta operator==(const Foo&) {return Meta{};} Meta operator!=(const Foo&) {return Meta{};} }; int …

11 c++  language-lawyer  eigen  eigen3  c++20 

Dokumen ini di bagian 2.6 Termasuk Dihitung memiliki paragraf berikut: Jika garis meluas ke aliran token yang dimulai dengan token <, dan termasuk token>, maka token antara <dan yang pertama> digabungkan untuk membentuk nama file yang akan disertakan. Setiap spasi putih antara token dikurangi menjadi satu ruang; maka setiap ruang …

11 c++  c  gcc  language-lawyer 

Pertimbangkan dua kelas dan antarmuka berikut: public class Class1 {} public class Class2 {} public interface Interface1 {} Mengapa panggilan kedua untuk mandatorymemanggil metode kelebihan beban dengan Class2, jika getInterface1dan Interface1tidak memiliki hubungan dengan Class2? public class Test { public static void main(String[] args) { Class1 class1 = getClass1(); Interface1 …

11 java  generics  java-8  language-lawyer  javac 

Pertimbangkan contoh ini (datang dari sini ): #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type = decltype(std::declval<B>().f()); }; int main() { B::default_return_type x{}; std::cout << std::is_same< B::default_return_type, A<int>>::value; } Ini mengkompilasi …

11 c++  language-lawyer  incomplete-type  declval 

Saya memiliki kode yang menemukan dan mencetak kecocokan suatu pola ketika melewati wadah string. Pencetakan dilakukan dalam fungsi foo yang templated Kode #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class Container> void foo(Iterator first, Container<std::pair<Iterator, Iterator>> const &findings) { for …

10 c++  c++11  templates  language-lawyer  template-templates 

Kode saya: #include <stdio.h> #include <limits.h> int main() { char c = CHAR_MAX; c += 1; printf("CHAR_MIN=%d CHAR_MAX=%d c=%d (%c)\n", CHAR_MIN, CHAR_MAX, c, c); } Keluaran: CHAR_MIN=-128 CHAR_MAX=127 c=-128 () Kita melihat bahwa ketika kita menambah charset variabel ke CHAR_MAX, itu membungkus sekitar CHAR_MIN. Apakah perilaku ini dijamin? Atau apakah …

10 c  char  language-lawyer  standards  integer-overflow 

Edit 2 : Saya sedang men-debug kegagalan pengujian aneh ketika fungsi yang sebelumnya berada di file sumber C ++ tetapi pindah ke file C kata demi kata, mulai mengembalikan hasil yang salah. MVE di bawah ini memungkinkan untuk mereproduksi masalah dengan GCC. Namun, ketika saya, dengan hati-hati, mengkompilasi contoh dengan …

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

Dalam kode contoh di bawah ini saya mendapatkan pengecualian berikut saat melakukan db.Entry(a).Collection(x => x.S).IsModified = true: System.InvalidOperationException: 'Instance dari tipe entitas' B 'tidak dapat dilacak karena instance lain dengan nilai kunci' {Id: 0} 'sudah dilacak. Saat melampirkan entitas yang ada, pastikan bahwa hanya satu instance entitas dengan nilai kunci …

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

Pertimbangkan program berikut. #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 berhasil dikompilasi dan hasilnya …

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

Saya menemukan masalah ini ketika mencoba menambahkan alat Add<char> for Stringke perpustakaan standar. Tapi kita bisa meniru itu dengan mudah, tanpa operator shenanigans. Kita mulai dengan ini: trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String { fn add(mut self, rhs: &str) -> Self { …

10 rust  language-lawyer 

Pertimbangkan program berikut: #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } GCC dan Dentang dengan libstdc ++ panggilan std::terminatedan batalkan program dengan pesan terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct null not valid Dibatasi dengan libc ++ …

9 c++  exception  language-lawyer