об одном строго типизированном языке (программистское)

[avva]

Будет интересно только программистам, знающим C++.

Небольшая загадка. Предугадайте, что напечатает следующая программа, не запуская ее. Потом проверьте себя, если интересно. Комменты не скрываются.

#include <iostream>
#include <map>
#include <string>
using namespace std;

int main() {
  map<int, string> m;
  double d = 123456.789;
  m[0] = d;
  cout << "m[0]=" << m[0];
  return 0;
}

Comments

[lpetrazickis.livejournal.com]

программисты которые не знают C++ хотят знать ответ.

[senecarus.livejournal.com]

Они не программисты.

[nmoroz.livejournal.com]

Только не говорите, что он найдет какой-то символ по такому числу.

[spamsink.livejournal.com]

Чего ж не найти-то?

[blacklion.livejournal.com]

Какой символ оно найдёт мне не сообразить, но тут будет double-int-char цепочка.
gcc, гад, даже с -Wall молчит ка крыба об лёд.

[nine_k]

Если 12, то это form feed, экран должна очистить.

[(Anonymous)]

/usr/local/gcc-3.4.2/bin/g++ -c -Wall -Wno-format-y2k -g -fPIC

warning: passing `double' for converting 1 of `std::basic_string

[Error: Irreparable invalid markup ('<_chart,>') in entry. Owner must fix manually. Raw contents below.]

/usr/local/gcc-3.4.2/bin/g++ -c -Wall -Wno-format-y2k -g -fPIC

warning: passing `double' for converting 1 of `std::basic_string<_CharT, _Traits, _Alloc>& std::basic_string<_CharT, _Traits, _Alloc>::operator=(_CharT) [with _CharT = char, _Traits = std::char_traits<char>, _Alloc = std::allocator<char>]'

[msh.livejournal.com]

поскольку operator= бывает для string&, char* и char, d превратится в char с предупреждением от компилятора. Какой конкретно char - не знаю, но явно ничего хорошего

[blacklion.livejournal.com]

Ну вот g++ не даёт никаких предупреждений. MS/Intel под рукой нет, через 10 минут попробую в clang, который славится своей ворчливостью и правильностью этой ворчливости, если он вообще такой C++ съест (не факт).

[renatm.livejournal.com]

Сначала вообще никаких идей не было, и не был уверен, что это вообще компилируется. Решил откомпилировать, но видимо зря, потому что MSVC выдал предупреждение

warning C4244: 'argument' : conversion from 'double' to 'char', possible loss of data

по которому сразу стало ясно, что дабл будет конвертиться в char.

Вообще, я считаю, что в нормальном языке программирования такое не должно компилироваться :)

[blacklion.livejournal.com]

Вообще, я считаю, что в нормальном языке программирования такое не должно компилироваться :)
Ну да, “система типов” C/C++ ужасна, это любой хаскеллист скажет :)))

[itman.livejournal.com]

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

[psilogic.livejournal.com]

Ну в MSVS система warning-ов вполне кошерно такие вещи отлавливает. Главное болт беречь, на варнинги его не класть.

:)

[greps.livejournal.com]

Ну да, ну да, а потом мы долго и нудно пишем языке программмирования модуль для конвертирования -
Convert.Int2Float, Convert.Ptr2Str and so on and so on...

Re: :)

[nine_k]

Конверсия без потери информации — ok, хотя можно и warning выдать. И вообще, между числами — одно дело, между числом и строкой — совсем другое, imho.

[rogovsky.livejournal.com]

Нормальный компилятор за такое должен руки поотрывать!

[egle.livejournal.com]

+1
Tолько не отрывает, и вообще только ворнинг выдает... Я, на самом деле, не могу понять, почему он превращает эту фигню в char.

[http://users.livejournal.com/_navi_/]

Самое интересное во всей этой истории — это отутствие какой-либо вменяемой системы с предупреждениями о неявных преобразованиях в разных версиях gcc/g++: кажется, было даже так, что g++ какой-то версии на Mac OS X не выдавал предупреждение, а на Linux выдавал.

[helvegr.livejournal.com]

-Wconversion, -Wsign-conversion

[meshko.livejournal.com]

Ну тут С++ не виноват -- если есть предупреждение. У меня есть ,)

[lazyreader.livejournal.com]

Да нет, именно C++ виноват, а вот именно компилятор (если есть предупреждение) - молодец.

[lazyreader.livejournal.com]

Вообще, неявное преобразование типов - это одна из двух или трёх самых серьёзных проблем C++.

[dimrub.livejournal.com]

Не глядя. Удивлен, что это компилируется. Я бы предположил, что напечатает то, что в данной архитектуре произойдет, если из представление double взять нижний байт, и записанное там число использовать в качестве аски-кода символа (т.е. этот символ и напечатает).

[avva.livejournal.com]

Примерно так, да. Меня тоже удивило, что компилируется, а уж то, что предупреждений не выдает... (но оказывается, это по-разному даже в разных версиях gcc, как в комментах обсуждают).

[(Anonymous)]

хорошая бага, я почти такую же недавно в продакшен коде нашел.

...

[peretyatkov.livejournal.com]

Типа данных string в С++ - нет.
Это класс расширения стандарта языка из STL.
И здесь очень часто многое прокатывает.
Хоть чего делай.
...
А потому то что напечатало - не удивился.
Впрочем даже и в отладчике не исследовал.
Вот это напечатало: m[0]=@.

[spacediver.livejournal.com]

Напечатал m[0]=@.

И почему я ожидал, что в m[0] окажется какое-нибудь строковое представление вещественного числа?.. %) Давно не программировал на сем, использовал здравый смысл.

[wildernesscat.livejournal.com]

Ничего не выдаёт ...

> ./stam.out | od -bc
0000000 155 133 060 135 075 000
          m   [   0   ]   =  \0
0000006
>

[zigmar.livejournal.com]

Я сказал бы, что такое не откомпилируется, так как не не определен оператор присвоения для ссылки на стриг и double. Но так как явно вопрос с подвохом и код скомпилируется, то я придумал такую безумную теорию:
Какой-то из конструкторов string-а который принимает size_t или int (кажется, он инициализует пустой стринг такой длинны или резервирует данное кол-во места) почему-то не объявлен как explicit, и с помощью двойного неявного преобразования (разве такое бывает?!) double->int/size_t->string создаст пустой или длинный стринг из пробелов(?), который и поместит в map.

[zigmar.livejournal.com]

Хмм, посмотрел документацию, вроде нету такого конструктора, чтоб один int аргумент получал.
http://www.cplusplus.com/reference/string/string/string/
http://www.sgi.com/tech/stl/basic_string.html

Пойду компилировать и смотреть. Блин, а я то думал, что неплохо в тонкостях с++ разбираюсь :)

[zigmar.livejournal.com]

Кстати, еще из забавных (правда безобидных) особенностей С:

int a[10];
a[4] = 1; /* ok */
4[a] = 1; /* also ok, does the same */

/* Hint: compiler interprets a[b] as *(a+b) */

[dikij.livejournal.com]

Страуструп в "The C++ Programming Language" по этому поводу пишет:
The fundamental types can be converted into each other in a bewildering number of ways. In my opinion, too many conversions are allowed.

И об'ясняет, как такой conversion (double→char) работает:
...conversion from a floating-point type to an integer type truncates. ... The behavior is undefined if the truncated value cannot be represented in the destination type. ... Conversions from integer to floating types are as mathematically correct as the hardware allows. Loss of precision occurs if an integral value cannot be represented exactly as a value of the floating type.

[dikij.livejournal.com]

Ничего хорошего в таком превращении, конечно, нет.

[zyama-krendel.livejournal.com]

Маленький вопрос: если дело только в conversion, зачем там вся эта история с map? Просто написать что-нибудь такого типа:



будет недостаточно?

[eoai.livejournal.com]

Ну, похоже, тут проблема идет слева направо, а не наоборот, как кажется.

m[0] = d; - при исполнении выглядит как

string& x = m.operator[](0); // что само по себе очень странно
x.ctor((char)d); // пустой блок памяти вернулся, вызывается ктор

ну, а 123456.789 транформируется в 123456 = 0x0001e240, последний байт = 40 = '@'

Очередной отличный выстрел в ногу.

[eoai.livejournal.com]

Обманул, не ctor. operator=(char)