я не совсем понимаю как это сломает существующий код. Но это не должно быть лукапом, это должно быть как с неймспейсом - мы же можем forward declare клас в неймспейсе, вот так и тут только с классом, т.е. просто декларим заранее в другом месте.

я вот склоняюсь к такому вот варианту

хорошо, задекларировали но мы же потом захотим к нему обращаться, иначе зачем это все? class Class; class Class::NestedClass; template<typename = Class::NestedClass /*вот тут у нас lookup имени NestedClass внутри incomplete-класса Class*/> void foo();

не, это уже не, я перечитал еще раз сообщение

Понятно, что enable_if может быть реализован и по другому, но мы всерьез хотим разрешить lookup'ать внутри incomplete-классов?

а почему текущий вариант реализации должен сломаться?

т.е. это просто затыкивание дыры с форвард-декларацией хрени из пространства имен классов

а почему текущий вариант реализации должен сломаться?

ой, а я проверил и впрямь ломается если enable_if<false> определить

н да, тогда же не происходит сбоя в подстановке

мне кажется, что удобно это или нет, но текущие правила — все декларации членов класса содержатся в его теле — поменять уже невозвможно. что-нибудь да порвется

я так понимаю проблема тут в том что если класс неполный, то это будет immediate context, и выходит sfinae, а если проваливаемся в лукап, то уже не immediate и случается ошибка

можно сказать, что лукап в неполном классе это будет immediate context, но не факт что это единственный баг который вылезет

7 ка

chcp 1251

я так понимаю проблема тут в том что если класс неполный, то это будет immediate context, и выходит sfinae, а если проваливаемся в лукап, то уже не immediate и случается ошибка

Нет, почему же, enable_if<false> может быть не определен или определен пустым, и то и другое работает. Я же говорил о другом — если он не определен, то сейчас при попытке lookup'а сразу ошибка, теоретически, наверное, можно сделать так, чтобы lookup в нем возвращал пустое множество и так все sfinae трюки тоже работать будут.

for(int i=0; i<size; ++i) { ... } if (i==size) // много лет такая запись была допустима, но потом область действия переменной цикла изменилась Пардон, это когда такие чудеса существовали под луной? В промежутке между созданием плюсов Бьярне, и стандартом 98?

Это отменили стандартом 98го года. Но VC эту фичу выключила только вот совсем недавно, типа года три назад.

Это отменили стандартом 98го года. Но VC эту фичу выключила только вот совсем недавно, типа года три назад.

/Zc:forScope-

Нет, почему же, enable_if<false> может быть не определен или определен пустым, и то и другое работает. Я же говорил о другом — если он не определен, то сейчас при попытке lookup'а сразу ошибка, теоретически, наверное, можно сделать так, чтобы lookup в нем возвращал пустое множество и так все sfinae трюки тоже работать будут.

https://godbolt.org/z/eXMRI7 не, если пустой то не работает - или я что-то не понял?

Ребят, я не супер линуксоид. Но такой вопрос. У винды есть определённые Api системы в неё встроенные, используя которые можно начать писать что - либо. Возьмём звук. У винды есть WSAPI. Который позволяет драйверу обмениваться аудио потоками с клиентом. А теперь возьмём Линукс.

В Linux примерно 5-7 разных аудиоподсистем, друг друга иногда эмулирующих. Одной нет.

В нем, есть ли что то подобное внутри коробки, чтобы был некий низкоуровневый Апи для работы со звуком?

Из известных alsa , pulse, Jack

https://godbolt.org/z/eXMRI7 не, если пустой то не работает - или я что-то не понял?

https://godbolt.org/z/LA-tzq

В нем, есть ли что то подобное внутри коробки, чтобы был некий низкоуровневый Апи для работы со звуком?

Все используются параллельно и независимо, в зависимости от того, на чем написано конкретное приложение

У вас 2 функции с одинаковой сигнатурой, на самом деле это одна и та же функция

Все используются параллельно и независимо, в зависимости от того, на чем написано конкретное приложение

Все аудиоподсистемы не входят в ядро

Привет, можете посоветовать что-то для сборки проекта в линукс??/

Привет, можете посоветовать что-то для сборки проекта в линукс??/

cmake.org

Так. А ещё что нибудь?/

Так. А ещё что нибудь?/

http://doc.qt.io/qt-5/qmake-manual.html

cmake.org

А cmake соберёт гткмм?

http://doc.qt.io/qt-5/qmake-manual.html

А это?/

А cmake соберёт гткмм?

а надо смотреть, что там используется

А это?/

qmake ТОЧНО не соберет проект GTK

Окей

Ну у меня с++ и гткмм

гтк вроде на мезон переходили

qmake ТОЧНО не соберет проект GTK

че эт

Привет, можете посоветовать что-то для сборки проекта в линукс??/

make, cmake, autotools, bazel, b2, meson, scons, qbs, qmake, gyp

qmake ТОЧНО не соберет проект GTK

это ещё почему ? ?

Ну у меня с++ и гткмм

там автотулз: https://gitlab.gnome.org/GNOME/gtkmm/blob/master/Makefile.am

гтк вроде на мезон переходили

У меня месон не ставится хз почему

...and autotools to rule them all...

У вас 2 функции с одинаковой сигнатурой, на самом деле это одна и та же функция

Да, про пустой enable_if - дейсвительно будет работать, вы правы. Однако не уверен, что про две функции с одниковой сигнатурой это полное обьяснение - т.к. https://godbolt.org/z/8MEaJc работает, хотя сигнатуры должны быть одинаковые.

Да, про пустой enable_if - дейсвительно будет работать, вы правы. Однако не уверен, что про две функции с одниковой сигнатурой это полное обьяснение - т.к. https://godbolt.org/z/8MEaJc работает, хотя сигнатуры должны быть одинаковые.

правильное :) легко проверить — дописать тела к функциям — в первом случае будет redefinition, а в вашем новом примере — нет.

а если у меня дефолтный конструктор, то, например, int член класса инициализируется в 0?

а если у меня дефолтный конструктор, то, например, int член класса инициализируется в 0?

нет, он рандомный. Во избежание неожиданностей - ВСЕГДА инициализируй переменные примитивных типов .

за исключением тех случаев, когда класс инициализируется как myclass x{};, кажется

local uninitialized variables SHOULD NEVER be used ” – Unless you’re seeding a random number generator and using the uninitialised memory as an added source of entropy. где-то встречалось

где то же оно инициализировалось в 0. с чем то я попутал...

ну ладно, спасибо

где то же оно инициализировалось в 0. с чем то я попутал...

если статическая примитивная переменная

за исключением тех случаев, когда класс инициализируется как myclass x{};, кажется

можно и так: myclass x = myclass(); и так myclass* px = new myclass(); Это называется инициализация значением

правильное :) легко проверить — дописать тела к функциям — в первом случае будет redefinition, а в вашем новом примере — нет.

да, кажется понял. Значения по умолчанию не являются частью сигнатуры (?) шаблона, а вот типы - являются, поэтому во втором случае порождается другая функция. Спасибо.

я про brace-initialization при котором даже примитивные типы забиваются нулями вроде

не нулями, а default initialization

chcp 1251

Где это указать?

Где это указать?

В консоли

Привет, можете посоветовать что-то для сборки проекта в линукс??/

Могу. CMake

Так. А ещё что нибудь?/

Ещё CMake !

есть ещё одна удобная штука на самом деле

есть ещё одна удобная штука на самом деле

CMake, что ли?

есть ещё одна удобная штука на самом деле

СMake?

ага :D

ну и ну! расскажи!

А cmake соберёт гткмм?

Если ты сам проект не пишешь, нахрена спрашивать чем его собирать? Он собирается тем, чем решили его авторы

make, cmake, autotools, bazel, b2, meson, scons, qbs, qmake, gyp

Это все хлам. CMake

харам*

Если ты сам проект не пишешь, нахрена спрашивать чем его собирать? Он собирается тем, чем решили его авторы

Пардон. Это мой проект. Мне и собирать.

ну если ты пишешь, то собирай с помощью CMake :D

?

local uninitialized variables SHOULD NEVER be used ” – Unless you’re seeding a random number generator and using the uninitialised memory as an added source of entropy. где-то встречалось

разве чтение неинициализированной переменной не UB?

разве чтение неинициализированной переменной не UB?

ну, ты считаешь мусор, приведенный к типу читаемой переменной

разве чтение неинициализированной переменной не UB?

Уб

ну, ты считаешь мусор, приведенный к типу читаемой переменной

Докажи что там мусор

насколько я понимаю, может быть похуже чем мусор. Если не было записи в переменную, то страница может быть не подгружена в память и т.д., вплоть до краша

насколько я понимаю, может быть похуже чем мусор. Если не было записи в переменную, то страница может быть не подгружена в память и т.д., вплоть до краша

может

а ещё конпелятор может вывести, что в неинициализированной переменной может находиться какое-нибудь ровно одно значение, и соптимизирует все обращения к переменной до подстановки этого значения https://godbolt.org/z/hm150H https://kristerw.blogspot.com/2017/09/why-undefined-behavior-may-call-never.html

Может быть хуже - тебе нулем заинициализируют а ты и поверишь

На Лоре был тред

Gcc когда использует регистры под переменные - всегда их очищает

так что неопределенное поведение на то и неопределенное

Коноплятор

да, тот самый который используется линуксоидами для конпеляции ведра

Для конопляции

Ну вообщем на мой вкус это худший вариант UB, который маскируется под требуемое поведение

там ещё был какой-то прикол, что значение "не инициализироовано" можно присваивать другим переменным для какого-то ограниченного списка типов. что-то в духе int a; int b = a; и это ок, но b читать нельзя =)

наврал, с интом как раз нельзя. можно с unsigned char https://en.cppreference.com/w/cpp/language/default_initialization

Я так всегда говорю)

#meetup #spb https://www.meetup.com/St-Petersburg-CPP-User-Group/events/254171514/

#meetup #spb https://www.meetup.com/St-Petersburg-CPP-User-Group/events/254171514/

видео будет?

видео будет?

Будет запись

во, супер