С пояснениями

- 1.2 Что такое типобезопасность? Приведите примеры нарушений типобезопасности в языках С++ и JavaScript.
Типобезопасность - безопасность (или надёжность) языка системы типов.
с++:
int a = 2.3; // Такой код выдаст ошибку, т.к. int - целочисленный тип, а переменной a присвоено вещественное число
________________________________________________________________________________________________________
- 1.3 Рассмотрите следующую программу.
bool x=true, y=false;
auto z=x+y;
Используя typeid найдите тип переменной z. Объясните результат.
________________________________________________________________________________________________________
- 1.5 Приведите разумные (логичные) примеры использования в С++ ключевых слов typedef, auto, decltype, static_cast.

________________________________________________________________________________________________________
- 1.7 Следующая программа является примером каламбура типизации.
double d ;
cin >> d ;
if ( reinterpret_cast (d) <0)
cout <<" yes " << endl ;
else
cout <<" no " << endl ;
Что она делает? Почему? Почему такого рода приемы не следует использовать?
________________________________________________________________________________________________________
- 1.8 Объясните результат работы следующей программы. Что произойдет, если тип int заменить на short? Почему?
int?a = -1 , b = 1;
unsigned int c = 1;
cout << a*b << endl;
cout << a*c << endl;
________________________________________________________________________________________________________
- 1.11 Для каких значений целочисленных переменных x, y, z результатом выражения (x==y)+(x==z)==true будет истина?
Перечислите все случаи. Объясните результат.
________________________________________________________________________________________________________
- 1.12 Проверьте работу условия x == y == z в языках Python, Java, C++ для целочисленных переменных x, y, z. Объясните результат для каждого из языков.
Подсказки
Результат будет различным для каждого из языков. Для Python потребуется познакомиться с цепочечными сравнениями.
Для С++ подумать про неявные преобразования типов.