@ProCxx
Александр20.06.2017
15:39:54
15:39:54
:(
Google
Aidar20.06.2017
15:40:19
15:40:19
std::is_same<decltype([]{}), decltype([]{})>::value == false;
Эти лямбды должны быть в разных еденицах компиляции в шаблоном функции
Alexander20.06.2017
15:40:47
15:40:47
ну лававей же стдлибой занимается в основном?
что-то мне подсказывает, что он как минимум пьёт пиво с парнями, которые компил валят
Berkus20.06.2017
15:41:00
15:41:00
ну это то всяко
но лучше запилить багу в компайлер тим, а ссылку на нее - лававею
Constantine20.06.2017
15:41:34
15:41:34
std::is_same<decltype([]{}), decltype([]{})>::value == false;
вопрос: являются ли well-formed по стандарту конструкции вида
template <typename T> inline std::function<void()> f(T * object) { return [object](){}; }Berkus20.06.2017
15:41:37
15:41:37
и саттера в cc:
Aidar20.06.2017
15:41:59
15:41:59
Прикольно что я тут выпендриваюсь, а сам ни одного вменяемого кода на си++ не написал
Berkus20.06.2017
15:42:23
15:42:23
вопрос: являются ли well-formed по стандарту конструкции вида
template <typename T> inline std::function<void()> f(T * object) { return [object](){}; }
являются, т.к. шаблоны инстанциируются на месте применения и компайлер волен их схлопывать если они оказались дубликатамиConstantine20.06.2017
15:42:25
15:42:25
Прикольно что я тут выпендриваюсь, а сам ни одного вменяемого кода на си++ не написал
я за 10 лет написал только один нормальный классGoogleAidar20.06.2017
15:42:58
15:42:58
А ещё я не работаю нигде и никогда не работал
Constantine20.06.2017
15:43:00
15:43:00
являются, т.к. шаблоны инстанциируются на месте применения и компайлер волен их схлопывать если они оказались дубликатами
у меня VS диагностирует нарушение ODR для шаблонной подстановки в _func_implBerkus20.06.2017
15:43:18
15:43:18
VS может хоть рак диагностировать
Berkus20.06.2017
15:43:35
15:43:35
не было
Constantine20.06.2017
15:46:01
15:46:01
а вообще на стандарте C++ уже парадокс лжеца на noexcept вбрасывали, так что всегда может быть тупо бага стандарта
Alexander20.06.2017
15:46:28
15:46:28
Berkus20.06.2017
15:46:53
15:46:53
баги в стандарте бывают конечно
Constantine20.06.2017
15:46:56
15:46:56
struct A {
struct B {
int i = (A(), 0);
};
A() noexcept(!noexcept(B()));
};
Aidar20.06.2017
15:50:24
15:50:24
У меня не собрало
Constantine20.06.2017
15:50:44
15:50:44
разумеется, это парадокс лжеца
стандарт разрешает все это использовать
Constantine20.06.2017
15:51:23
15:51:23
не, это код, разрешенный по стандарту
Aidar20.06.2017
15:51:39
15:51:39
Но не разрешенный по логике
Constantine20.06.2017
15:51:45
15:51:45
стандарт разрешает использовать определение A в коде B и определение B в коде А
Aidar20.06.2017
15:51:46
15:51:46
Так в чем трабл
GoogleAidar20.06.2017
15:52:03
15:52:03
Си++ много разрешает
Constantine20.06.2017
15:52:04
15:52:04
что это - парадокс лжеца
для компилятора
без маркировки "this program is ill-formed"
Aidar20.06.2017
15:52:35
15:52:35
Оно ваще не formed
Constantine20.06.2017
15:52:54
15:52:54
короче, компилятор обязан это скомпилировать
Aidar20.06.2017
15:53:45
15:53:45
Он обязан скомпилировать если стандарт расскажет ожидаемый результат
Constantine20.06.2017
15:54:32
15:54:32
почему он имеет право отказаться компилировать код, использующий только конструкции, не запрещенные стандартом вообще?)
Aidar20.06.2017
15:55:41
15:55:41
Почему он должен игнорировать семантику чтоль?
Constantine20.06.2017
15:56:43
15:56:43
а что, он может сказать, что
a, b = b, a //CE #3872: I hate python
Berkus20.06.2017
15:56:44
15:56:44
почему он имеет право отказаться компилировать код, использующий только конструкции, не запрещенные стандартом вообще?)
нормальный компилятор имеет право отказаться компилировать код даже если ты просто ему не нравишься, или памяти малоAidar20.06.2017
15:58:09
15:58:09
Околобесконечная рекурсия шаблонов поди тоже не запрещена стандартом
Aidar20.06.2017
16:11:19
16:11:19
Это все ограничения "я не смог посчитать"
Constantine20.06.2017
16:15:53
16:15:53
Ну не смогла я?)
Constantine20.06.2017
16:43:28
16:43:28
линкер утверждает, что вот эта строка модифицирует определение типа Around::SomeStruct
Around::SomeStruct::SomeStruct() : b([]() {})
Кстати, я, похоже, понял. Класс для лямбды определяется в ближайшем scope.
Anatoly20.06.2017
16:46:16
16:46:16
ну тогда явно баг компилятора
Constantine20.06.2017
16:46:31
16:46:31
почему?
GoogleAnatoly20.06.2017
16:47:11
16:47:11
он не имеет права принимать в расчет сгенерированные для своих нужд артефакты и приписывать их к определению класса
Constantine20.06.2017
16:47:40
16:47:40
вообще цитата
The lambda expression is a prvalue expression () whose value is (until C++17)whose result object is (since C++17) an unnamed temporary object of unique unnamed non-union non-aggregate class type, known as closure type, which is declared (for the purposes of ADL) in the smallest block scope, class scope, or namespace scope that contains the lambda expression
Asyan です20.06.2017
16:49:25
16:49:25
Alexander20.06.2017
16:50:00
16:50:00
Че там с пропозалами? Ответили?
кто ответил? они пока что ушли на рассмотрение. Вон Антон поедет на следующую встречу, и будет их защищать перед народома я пока немного в слаке с народом общаюсь по поводу пропозалов
Anatoly20.06.2017
16:51:12
16:51:12
компилятор может для своих нужд (for the purposes of ADL) создавать все что угодно, это тем не менее не нарушает ODR, поскольку по факту у тебя одно определение
Antony20.06.2017
17:00:35
17:00:35
кто ответил? они пока что ушли на рассмотрение. Вон Антон поедет на следующую встречу, и будет их защищать перед народом
Я не поеду по семейным обстоятельствам. Но буду следить из дома )Alexander20.06.2017
17:01:01
17:01:01
AdminERROR: S client not available
Alexander20.06.2017
17:01:29
17:01:29
в слаке люди жалуются, что бумаги пока что paperbot не подхватывает
Alexander20.06.2017
17:10:20
17:10:20
Читать вики, и стенограмы заседаний
даже стенограммы делают? кто имеет к ним доступ и как их можно получить?Constantine20.06.2017
17:13:22
17:13:22
Я немного почитал стандарт. Я не нашел гарантию, что closure type для lambda, объявленной внутри function template имеет тип, не зависящий от Translation Unit
Anatoly20.06.2017
17:18:03
17:18:03
при инстанцировании шаблона функции скопом для closure type лямбды будет само тело инстанцированной функции
Alexander20.06.2017
17:20:53
17:20:53
нигде-нигде инфы нет, чтобы майки хотели портировать вижлу на линух?
Anatoly20.06.2017
17:22:44
17:22:44
понять бы вопрос
Berkus20.06.2017
17:22:52
17:22:52
они вместо этого портировали линукс на винду
GoogleBerkus20.06.2017
17:23:02
17:23:02
*shrug*
Berkus20.06.2017
17:23:33
17:23:33
предложишь мне альтернативные ИДЕ под линухи?
CLion? Sublime? IDEA? Eclipse? Anjuta? KDEvelop? QtCreator?Alexander20.06.2017
17:23:35
17:23:35
они вместо этого портировали линукс на винду
почему не пользоваться виндой - это отдельный вопрос. И зачем-то же портировали на мак вижлуBerkus20.06.2017
17:23:37
17:23:37
vim?
Роман20.06.2017
17:23:56
17:23:56
Berkus20.06.2017
17:24:21
17:24:21
emacs?
sojalei20.06.2017
17:24:27
17:24:27
neovim
Berkus20.06.2017
17:24:40
17:24:40
vscode? atom?
Роман20.06.2017
17:24:49
17:24:49
Я выбираю Atom
Anatoly20.06.2017
17:25:13
17:25:13
vscode тоже неплохо растет
Berkus20.06.2017
17:25:21
17:25:21
ну если любишь тормозные поделия на джаваскрипте то конечно атом лучший выбор!
Alexander20.06.2017
17:25:22
17:25:22
CLion? Sublime? IDEA? Eclipse? Anjuta? KDEvelop? QtCreator?
Лев - тормоз, но хоть что-то вменяемое, но им до нормальной ИДЕ ещё долго
Саблайм - не ИДЕ
ИДЕЯ - не про кресты
Эклипс - уж лучше Лев
Анюта - дай этому умереть уже
Кдевелоп - я желаю им успехов, но нет, пока что не дотягивают
Кретор - хорошая попытка, им тоже удачи, но до вижлы ещё далеко
вскод - не ИДЕ
атом - не ИДЕ
емакс - не ИДЕ
вим - не ИДЕBerkus20.06.2017
17:25:42
17:25:42
ИДЕ для даунов
Anatoly20.06.2017
17:25:48
17:25:48
ИДЕЯ - читай CLion
Berkus20.06.2017
17:26:01
17:26:01
ну-ну
Nikolaysojalei20.06.2017
17:26:12
17:26:12
хмм, отказываться от множества хороших иде ради студии
Alexander20.06.2017
17:26:23
17:26:23
Открыть в Telegram