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

Простите, какой?

->* какбэ

->* какбэ

Блять, плюсы....

(obj->*methodPtr)()

ну дык в чатике по C++ ожидаемо будут плюсы, не?

Потрясный синтаксис

->* какбэ

Эммм. Это 2 оператора

Эммм. Это 2 оператора

неа

неа

один

https://en.cppreference.com/w/cpp/language/operator_member_access

неа

о_О, ничего себе. Я думал что по указателю на метод достаточно просто первым параметром передать обьект на котором вызываем метод

https://en.cppreference.com/w/cpp/language/operator_member_access

Крутая штука, не знал что такое есть. Спасибо

гыы... я думал что всего 3 оператора, которые нельзя перегружать. Оказывается, 4

., ::, ?:, .* век живи, век учись

кстати из приколов стандарта С++: int a[2]; int* b = a; int* c = a+3; int* d = c - 3; (b == d) // UB

кстати из приколов стандарта С++: int a[2]; int* b = a; int* c = a+3; int* d = c - 3; (b == d) // UB

Ну это в целом понятно почему ub

кстати из приколов стандарта С++: int a[2]; int* b = a; int* c = a+3; int* d = c - 3; (b == d) // UB

А почему?

Сергей сказал через две недели.

Да, мне тоже сказали что где-то через 2 недели. Видео появится вот тут https://events.yandex.ru/events/meetings/11-oct-2018/

А почему?

Потому что стандарт гарантирует равенство указателей только в том случае, если они однородны: указатель на элемент массива допустим только если он указывает на элемент массива или на адрес, указывающий непосредственно за границу массива. a + 3 для массива менее чем на 3 элемента даёт указатель, не имеющий отношения к сущности a, а b относится к сущности a, следовательно, дальнейшие манипуляции - UB

о_О, ничего себе. Я думал что по указателю на метод достаточно просто первым параметром передать обьект на котором вызываем метод

А дальше остальные параметры

Ого, в gcc вмерджили Networking TS https://github.com/gcc-mirror/gcc/commit/4e61dba8a38e13125daeba9af250f846df1bba11

Ого, в gcc вмерджили Networking TS https://github.com/gcc-mirror/gcc/commit/4e61dba8a38e13125daeba9af250f846df1bba11

Круто

Потому что стандарт гарантирует равенство указателей только в том случае, если они однородны: указатель на элемент массива допустим только если он указывает на элемент массива или на адрес, указывающий непосредственно за границу массива. a + 3 для массива менее чем на 3 элемента даёт указатель, не имеющий отношения к сущности a, а b относится к сущности a, следовательно, дальнейшие манипуляции - UB

не могу найти в Стандарте про это. Поможешь?

чуток позже, ок?

не могу найти в Стандарте про это. Поможешь?

Я на эту тему видел непрямой пруф с printf(p, q, p == q);

где-то видел статью на эту тему, там прямые ссылки на стандарт и выдержки из неё, но пока надо ещё поафриканить

Ого, в gcc вмерджили Networking TS https://github.com/gcc-mirror/gcc/commit/4e61dba8a38e13125daeba9af250f846df1bba11

Ага, круто Только он пока не работает :(

Ой ну что ты начинаешь сразу :)

там же даже тесты вроде ?) чо, тесты валятся?)

Ого, в gcc вмерджили Networking TS https://github.com/gcc-mirror/gcc/commit/4e61dba8a38e13125daeba9af250f846df1bba11

Фига

Готовимся выбрасывать буст?

Готовимся выбрасывать буст?

дак и щас можно asio без буста использовать, делов то

прочитал про std::bind, но применить его не получилось

И правильно

https://youtu.be/ZlHi8txU4aQ

Готовимся выбрасывать буст?

ты что? а как же модный бист и histogram? :)

куда ж нам без hana&))))

нам хана без хана

ты что? а как же модный бист и histogram? :)

да, тут печаль, у вини не было планов на бист со стандэлон асио

@zamazan4ik https://habr.com/company/pvs-studio/blog/418023/

не могу найти в Стандарте про это. Поможешь?

бумажка iso https://www.iso.org/standard/64030.html последний драфт http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4734.pdf

@alexey_tkachenko_by я не могу найти всё равно, что это undefined behavior

Целочисленность координат — очень сильное ограничение.

Оно же плохо спасает. Возьмем экстремумы синусоиды и как нам вообще выводить ответ? Указанием множества, оси симметрии и точек на ней?

Оно же плохо спасает. Возьмем экстремумы синусоиды и как нам вообще выводить ответ? Указанием множества, оси симметрии и точек на ней?

Экстремумы синусоиды не целочисленны. Но пример неплох. Можно же просто взять два ряда точек с равными промежутками: (0, 0), (1, 0), (2, 0), …, (1000, 0) и (0, 1), (1, 1), (2, 1), …, (1000, 1). Для каждой пары «точка снизу» и «точка сверху ближе к краю» найдётся третья, порождающая треугольник. Вот тебе и ответ порядка Θ(N²).

@alexey_tkachenko_by я не могу найти всё равно, что это undefined behavior

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

так мб это unspecified behavior @alexey_tkachenko_by

Экстремумы синусоиды не целочисленны. Но пример неплох. Можно же просто взять два ряда точек с равными промежутками: (0, 0), (1, 0), (2, 0), …, (1000, 0) и (0, 1), (1, 1), (2, 1), …, (1000, 1). Для каждой пары «точка снизу» и «точка сверху ближе к краю» найдётся третья, порождающая треугольник. Вот тебе и ответ порядка Θ(N²).

Ну я имею в виду синусоиду пожать в pi по Х, то есть { x, y: 0 <= x < N, y \in { 0, 1 }, x + y = 0 (mod 2) }

Как скастить std::vector<std::reference_wrapper<const T>> к boost::any_range<T, boost::bidirectional_traversal_tag>?

Ну я имею в виду синусоиду пожать в pi по Х, то есть { x, y: 0 <= x < N, y \in { 0, 1 }, x + y = 0 (mod 2) }

Убедил.

так мб это unspecified behavior @alexey_tkachenko_by

поясни различие плиз

поясни различие плиз

unspecified это значит, что компилятор должен сказать, что здесь, но вы не должны этим пользоваться, например, возвращаемый тип некоторых функций

а undefined чем принципиально отличается?

тем, что undefined это значит, что компилятор имеет право считать, что такое не происходит

результат sizeof(int) является unspecified, но не undefined

unspecified != implementation defined ?

http://eel.is/c++draft/intro.defs#defns.undefined http://eel.is/c++draft/intro.defs#defns.unspecified

unspecified != implementation defined ?

не совсем :)

ну т.е. да !=

implementation-defined behavior, for a well-formed program construct and correct data, that depends on the implementation and that each implementation documents

imp.def - различается но задокументировано, а unspec - различается, незадокументировано, может меняться а-ля boost::detail?

тем, что undefined это значит, что компилятор имеет право считать, что такое не происходит

Или отформатировать диск назло.

tags: #cmake /CMakeLists.txt : add_subdirectory(my_lib) add_executable(my_exe) target_link_libraries(my_exe my_lib) /my_lib/CMakeLists.txt : add_library(my_lib) target_include_directories(my_lib include) Как изменить второй cmake-файл, чтобы его include были расшарены другим целям? Не хочу прокидывать в корневом cmake-файле такое: target_include_directories(my_exe my_lib/include)

target_include_directories(my_lib PUBLIC include)

target_include_directories(my_lib PUBLIC include)

Что-то не выходит...

Для корневого, где основной таргет, ничего не меняется?

не меняется, видимо что-то не так делаешь - у меня всё норм