Запитання з тегом «language-lawyer»

Чи дійсно це C ++? int main() { constexpr auto sz = __func__ - __func__; return sz; } GCC та MSVC вважають, що це нормально, Кланг вважає, що це не так: Compiler Explorer . Усі компілятори погоджуються, що це нормально: Провідник компілятора . int main() { constexpr auto p = …

14 c++  pointers  language-lawyer  c++17  constexpr 

Я натрапив на таку поведінку, std::gcdщо мені виявилося несподіваним: #include <iostream> #include <numeric> int main() { int a = -120; unsigned b = 10; //both a and b are representable in type C using C = std::common_type<decltype(a), decltype(b)>::type; C ca = std::abs(a); C cb = b; std::cout << a << …

14 c++  language-lawyer  c++17  unsigned  libstdc++ 

У мене виникають труднощі в розумінні наступного абзацу, цитованого з cppreference about тривіального конструктора за замовчуванням. Я шукав stackoverflow, але все одно не отримав чіткої відповіді. Тож, будь ласка, допоможіть. Тривіальний конструктор за замовчуванням - це конструктор, який не виконує жодної дії. Усі типи даних, сумісні з мовою С (типи …

14 c++  language-lawyer 

Я хочу написати переносний код (Intel, ARM, PowerPC ...), який вирішує варіант класичної проблеми: Initially: X=Y=0 Thread A: X=1 if(!Y){ do something } Thread B: Y=1 if(!X){ do something } в якій мета - уникнути ситуації, в якій роблять обидві ниткиsomething . (Добре, якщо жодна річ не працює; це не …

13 c++  language-lawyer  atomic  memory-barriers  stdatomic 

У документації std::memory_orderна сайті cppreference.com є приклад розслабленого замовлення: Розслаблене замовлення Атомні операції з тегом memory_order_relaxedне є операціями синхронізації; вони не нав'язують порядок серед паралельних доступу до пам'яті. Вони гарантують лише атомність та послідовність порядку модифікації. Наприклад, спочатку x і y дорівнює нулю, // Thread 1: r1 = y.load(std::memory_order_relaxed); // …

13 c++  multithreading  c++11  language-lawyer  as-if 

Коли ми хочемо використовувати a static_assertв a, if constexprми повинні зробити умову залежною від певного параметра шаблону. Цікаво, що gcc та clang не погоджуються, коли код загорнутий у лямбда. Наступний код компілюється з gcc, але clang викликає ствердження, навіть якщо це if constexprне може бути правдою. #include <utility> template<typename T> …

13 c++  templates  language-lawyer  c++17  static-assert 

MSVC, Clang і GCC не згодні з цим кодом: struct Base { int x; }; struct Der1 : public Base {}; struct Der2 : public Base {}; struct AllDer : public Der1, public Der2 { void foo() { Der1::Base::x = 5; } }; Годболт GCC: <source>: In member function 'void …

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

Як заголовок: як є гарантія оцінювання блоку повернення функції Haskell? Можна подумати, що немає необхідності проводити будь-яку оцінку в такому випадку, компілятор міг би замінити всі такі виклики на негайне ()значення, якщо немає явних запитів на суворість, і в цьому випадку код може вирішити, чи слід повернення ()або дно. Я …

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

Розглянемо наступні три structs: class blub { int i; char c; blub(const blub&) {} }; class blob { char s; blob(const blob&) {} }; struct bla { blub b0; blob b1; }; На типових платформах, де intрозміщено 4 байти, розміри, вирівнювання та загальна заливка 1 є такими: struct size alignment …

12 c++  language-lawyer  c++20 

Це питання стосується доповнення P0593 до останнього проекту C ++ 20 . Ось мій приклад: #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); } } int …

11 c++  language-lawyer  c++20 

Наступний код добре поєднує кланг-магістраль у режимі c ++ 17, але розривається в режимі c ++ 2a (майбутні 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 main() { …

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

Цей документ у розділі 2.6 Computed Includes має такий параграф: Якщо рядок розширюється до потоку токенів, що починається з <лексеми і включає> маркер, то лексеми між <і першим> об'єднуються, щоб утворювати ім'я файлу, яке потрібно включити. Будь-який пробіл між маркерами зводиться до одного простору; то будь-який простір після початкового <зберігається, …

11 c++  c  gcc  language-lawyer 

Розглянемо наступні два класи та інтерфейс: public class Class1 {} public class Class2 {} public interface Interface1 {} Чому другий виклик mandatoryвикликати перевантажений метод з Class2, якщо getInterface1і Interface1не має ніякого відношення Class2? public class Test { public static void main(String[] args) { Class1 class1 = getClass1(); Interface1 interface1 = …

11 java  generics  java-8  language-lawyer  javac 

Розглянемо цей приклад ( звідси ): #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) { for …

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