Вопросы с тегом «language-lawyer»

Рассмотрим этот пример ( отсюда ): #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; } Он компилируется без …

11 c++  language-lawyer  incomplete-type  declval 

У меня есть код, который находит и распечатывает совпадения шаблона, как проходя через контейнер строк. Печать выполняется в функции foo, которая является шаблонной. Код #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) …

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

Изменить 2 : Я отлаживал странный тестовый сбой, когда функция, ранее находившаяся в исходном файле C ++, но дословно перемещенная в файл C, начала возвращать неверные результаты. MVE ниже позволяет воспроизвести проблему с GCC. Однако, когда я по прихоти скомпилировал пример с Clang (а позже с VS), я получил другой …

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

Мой код: #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); } Вывод: CHAR_MIN=-128 CHAR_MAX=127 c=-128 () Мы видим, что когда мы увеличиваем charпеременную, установленную в CHAR_MAX, она оборачивается в CHAR_MIN. Это поведение гарантировано? Или это будет …

10 c  char  language-lawyer  standards  integer-overflow 

В приведенном ниже примере кода я получаю следующее исключение при выполнении db.Entry(a).Collection(x => x.S).IsModified = true: System.InvalidOperationException: «Экземпляр типа сущности« B »не может быть отслежен, поскольку другой экземпляр со значением ключа« {Id: 0} »уже отслеживается. При подключении существующих объектов убедитесь, что подключен только один экземпляр объекта с данным значением ключа. …

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

Рассмотрим следующую программу. #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 ); } Программа успешно компилируется, и ее …

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

Я сталкивался с этой проблемой при попытке добавить impl Add<char> for Stringв стандартную библиотеку. Но мы можем повторить это легко, без махинаций оператора. Начнем с этого: 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); …

10 rust  language-lawyer 

Рассмотрим следующую программу: #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } GCC и Clang с помощью libstdc ++ вызывают std::terminateи отменяют программу с сообщением terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct null not valid Clang с libc …

9 c++  exception  language-lawyer 

Этот вопрос вытекает из этого комментария: объяснение времени жизни лямбда для сопрограмм C ++ 20 относительно этого примера: auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } Таким образом, вопрос заключается в том, fooприведет ли выполнение возвращаемой сопрограммы к UB. «Вызов» …

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

Поскольку P0593 неявное создание объектов для низкоуровневой манипуляции с объектами было принято, объекты теперь можно создавать неявно в C ++ 20. В частности, формулировка, предложенная предложением, позволяет определенным операциям (таким как std::malloc) автоматически создавать и запускать время жизни объектов определенных типов, так называемые типы неявного времени жизни , если введение …

9 c++  language-lawyer  c++20 

Учитывая следующую структуру шаблона: template<typename T> struct Foo { Foo(T&&) {} }; Это компилируется и Tвыводится так int: auto f = Foo(2); Но это не компилируется: 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 arguments of …

9 c++  templates  language-lawyer 

У меня есть следующий код: 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; } При сборке с gcc 9.2 и clang (9.0) я получаю …

9 c++  templates  language-lawyer  dependent-name 

Я столкнулся с этой проблемой, пытаясь специализировать tuple_size/ tuple_elementдля пользовательского класса в C ++ 17 для структурированного связывания. Ниже код компилируется в GCC, но не в clang (обе версии транка, см. Ссылку ниже). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... Bs> using sfinae_v_t = …

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

Я знаю, что это довольно распространенная тема, но насколько легко найти типичный UB, я не нашел этот вариант до сих пор. Итак, я пытаюсь официально представить объекты Pixel, избегая при этом фактической копии данных. Это действительно? struct Pixel { uint8_t red; uint8_t green; uint8_t blue; uint8_t alpha; }; static_assert(std::is_trivial_v<Pixel>); Pixel* …

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

Может int (*)[]быть неполного типа? C 2018 6.2.5 1 говорит: В различных точках в единице перевода тип объекта может быть неполным (без достаточной информации для определения размера объектов этого типа) или полным (имеющим достаточную информацию). Таким образом, кажется, что если размер типа известен, тип завершен. 6.2.6.1 28 указывает, что определенные …

9 c  pointers  language-lawyer  incomplete-type