MasterZivSashaMercury,

с++ отличается от с не только наличием классов.
с++ принципиально язык со строгой типизацией.

Это я запомнил, потому удивился сегодня, когда перечитывал BS.
The C++ PL $7.4

Finding the right version to call from a set of overloaded functions is done by looking for a best
match between the type of the argument expression and the parameters (formal arguments) of the
functions. To approximate our notions of what is reasonable, a series of criteria are tried in order:
[1] Exact match; that is, match using no or only trivial conversions (for example, array name to
pointer, function name to pointer to function, and T to c o n s t T )
[2] Match using promotions; that is, integral promotions (b o o l to i n t , c h a r to i n t , s h o r t to i n t ,
and their u n s i g n e d counterparts; §C.6.1), f l o a t to d o u b l e , and d o u b l e to l o n g d o u b l e
[3] Match using standard conversions (for example, i n t to d o u b l e , d o u b l e to i n t , D e r i v e d * to
B a s e * (§12.2), T* to v o i d * (§5.6), i n t to u n s i g n e d i n t ; §C.6)
[4] Match using userdefined
conversions (§11.4)
[5] Match using the ellipsis ... in a function declaration (§7.6)
If two matches are found at the highest level where a match is found, the call is rejected as ambiguous.
The resolution rules are this elaborate primarily to take into account the elaborate C and C++
rules for builtin
numeric types (§C.6). For example:



Думал, что строгая типизация в принципе не позволит такого. Но, даже если в том случае, если данные преобразования законны в рамках термина "строгая типизация", BS ранее пишет о том, что существует некий оператор reinterpret_cast. Вот, что он пишет о нем:
same $6.2.7The s t a t i c _ c a s t operator converts between related types such as one pointer type to another, an
enumeration to an integral type, or a floatingpoint
type to an integral type. The reinterpret_cast
handles conversions between unrelated types such as an integer to a pointer. This distinction
allows the compiler to apply some minimal type checking for s t a t i c _ c a s t and makes it easier for a
programmer to find the more dangerous conversions represented as reinterpret_casts. Some
s t a t i c _ c a s t s are portable, but few r e i n t e r p r e t _ c a s t s are. Hardly any guarantees are made for
reinterpret_cast , but generally it produces a value of a new type that has the same bit pattern as its
argument. If the target has at least as many bits as the original value, we can r e i n t e r p r e t _ c a s t the
result back to its original type and use it. The result of a r e i n t e r p r e t _ c a s t is guaranteed to be
usable only if its result type is the exact type used to define the value involved. Note that
r e i n t e r p r e t _ c a s t is the kind of conversion that must be used for pointers to functions (§7.7).

Что значит "generally "?) Сегодня generally завтра у нас "special case". Разве из этого не следует что у С++ всё-таки слабая типизация. Или лучше сказать "не сильная типизация", или это всё-же не так?

Anatoly MoskovskySashaMercuryСегодня generally завтра у нас "special case". Разве из этого не следует что у С++ всё-таки слабая типизация
Из этого - не следует )))

А из чего это следует?) Или всё-таки у С++ строгая типизация