Телеграмм чат группы ProCxx страница 14603

Хочу шаблонным параметром передать значение и сравнивать его на равенство (побитовое) с типом Т, который может быть integral или floating point. А шаблонное значение не может быть floating point. Поэтому пытаюсь изобрести костыль.

источник

22:28пожаловаться #13

A

Alex in pro.cxx

Max

и слава богу что нельзя. double - это даже не обязательно IEEE-754, не говоря уже обо всех остальных граблях.

для битов, кстати, абсолютно безразлично, какое у него внутреннее представление, так что это вообще не аргумент

источник

22:29пожаловаться #14

M

Max in pro.cxx

Alex

опять аргумент эзотерических платформ, который тормозит развитие и удобство пользования С++)

Нуу либо даёт свободу маневра при замене IEEE-754 на что-то более подходящее.

источник

22:30пожаловаться #15

M

Max in pro.cxx

Alex

для битов, кстати, абсолютно безразлично, какое у него внутреннее представление, так что это вообще не аргумент

Но язык, по возможности, должен заставлять тебя делать херню более явной, когда ты её делаешь.
А про внутренне представление -- расскажи это правилам strict aliasing, которые создают гораздо больше проблем.

источник

22:35пожаловаться #16

A

Alex in pro.cxx

так мне не важно, что там за тип, просто sizeof(F) байт

источник

22:36пожаловаться #17

A

Alex in pro.cxx

Max

Но язык, по возможности, должен заставлять тебя делать херню более явной, когда ты её делаешь.
А про внутренне представление -- расскажи это правилам strict aliasing, которые создают гораздо больше проблем.

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

источник

22:36пожаловаться #18

A

Alex in pro.cxx

Alex

а есть готовый трейт is_equal_comparable? Чтобы узнать, определён ли T1::operator==(T2)?

Я так понимаю, нет готового? А через enable_if можно нагородить такой трейт? Я могу написать что-то вроде enable_if_t<declval(T1) == declval(T2)>?

источник

22:43пожаловаться #19

M

Max in pro.cxx

Alex

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

а почему бы просто не привести к char* и не сравнить?

источник

22:44пожаловаться #20