Может быть я вашу мысль немного не так понял, но я как разработчик получу в рассмотрение не 30 ошибок и 50 ложных срабатываний (или 32 ошибки и 500 ложными срабатываниями), а условно 3 ошибки и 6 ложных срабатываний. Или же 4 ошибки и 60 ложных срабатываний во втором случае. Как и каждый из разработчиков в команде. Мне представляется маловероятным, что задача на фикс проблем, найденных анализатором, не будет распределена по команде. И в этом контексте вариант с большим числом предупреждений более полезен с практической точки зрения.
Существуют правила пользования метрополитеном. И в частности в петербургском метрополитене при отказе от досмотра пассажир обязан покинуть его территорию.
41. В целях обеспечения безопасности пассажиров, досмотру, в соответствии с Федеральным законом о транспортной безопасности, подлежат пассажиры, багаж, в том числе вещи, находящиеся при пассажирах.
Лица отказавшиеся от досмотра, в зону транспортной безопасности не допускаются.
Отказ пассажира от досмотра, в целях обеспечения транспортной безопасности, является основанием для расторжения метрополитеном договора перевозки в одностороннем порядке».
Это не каламбур. Это неопределенное поведение. Дело в том, что осуществив каст к указателю на функцию с обратным порядком аргументов, вы получаете UB согласно стандарта языка (
C11, раздел 6.3.2.3, параграф 8
A pointer to a function of one type may be converted to a pointer to a function of another
type and back again; the result shall compare equal to the original pointer. If a converted
pointer is used to call a function whose type is not compatible with the referenced type,
the behavior is undefined.
)
из-за того, что указатели не совместимы. И вот почему. Указатели на функции считаются совместимыми тогда и только тогда, когда: (C11, раздел 6.7.6.3, параграф 15:
For two function types to be compatible, both shall specify compatible return types.146)
Moreover, the parameter type lists, if both are present, shall agree in the number of
parameters and in use of the ellipsis terminator; corresponding parameters shall have
compatible types. If one type has a parameter type list and the other type is specified by a
function declarator that is not part of a function definition and that contains an empty
identifier list, the parameter list shall not have an ellipsis terminator and the type of each
parameter shall be compatible with the type that results from the application of the
default argument promotions. If one type has a parameter type list and the other type is
specified by a function definition that contains a (possibly empty) identifier list, both shall
agree in the number of parameters, and the type of each prototype parameter shall be
compatible with the type that results from the application of the default argument
promotions to the type of the corresponding identifier. (In the determination of type
compatibility and of a composite type, each parameter declared with function or array
type is taken as having the adjusted type and each parameter declared with qualified type
is taken as having the unqualified version of its declared type.)
) Из этого нас в данном случае интересует только выделенное жирным, поскольку остальное (в частности тип возвращаемого результата) нас не интересует. А выделенное четко говорит о том, что типы соответствующих (т.е. в отношении порядка следования) параметров должны быть совместимы. Для простых случаев вроде этого (т.е. без использования доп. правил из стандарта), типы считаются совместимыми или «имеющими совместный тип» тогда, когда они одинаковы (
C11, раздел 6.2.7, параграф 1
Tw o types have compatible type if their types are the same. Additional rules for
determining whether two types are compatible are described in 6.7.2 for type specifiers,
in 6.7.3 for type qualifiers, and in 6.7.6 for declarators.55) Moreover, two structure,
union, or enumerated types declared in separate translation units are compatible if their
tags and members satisfy the following requirements: If one is declared with a tag, the
other shall be declared with the same tag. If both are completed anywhere within their
respective translation units, then the following additional requirements apply: there shall
be a one-to-one correspondence between their members such that each pair of
corresponding members are declared with compatible types; if one member of the pair is
declared with an alignment specifier, the other is declared with an equivalent alignment
specifier; and if one member of the pair is declared with a name, the other is declared
with the same name. For two structures, corresponding members shall be declared in the
same order. For two structures or unions, corresponding bit-fields shall have the same
widths. For two enumerations, corresponding members shall have the same values.
В таком случае, думаю вы не будете против, если сообщество хабра не потерпит угроз от вас и сообщит администрации ресурса с целью вынести лично вам «предупреждение». Ибо лично я, как наверное и другие участники, вряд ли бы хотели терпеть такое. Думаю это будет закономерно.
Ой как вы не правы. Вам человек про качество говорит, а не количество. Второе в первое не переходит. Если уж вы так радеете за даму, то было бы более этично помочь ей улучшить качество статей (путем рецензирования например), а не аппелировать к неуважительному, а в отдельных случаях крайне хамскому, лозунгу «сперва добейся / а что сделал ты».
Упомянутый Razer DeathAdder однозначно нет. За такие деньги качество явно не для шутеров. 8-9 месяцев контры по 2-3 часа в день и лкм уже иногда дает двойной клик. Владею чуть более года, а пальцы далеко не сильные. Для ммо может быть пойдет, но только если игрок не кликер, иначе будет то же самое скорее всего.
из-за того, что указатели не совместимы. И вот почему. Указатели на функции считаются совместимыми тогда и только тогда, когда: (C11, раздел 6.7.6.3, параграф 15:
) Из этого нас в данном случае интересует только выделенное жирным, поскольку остальное (в частности тип возвращаемого результата) нас не интересует. А выделенное четко говорит о том, что типы соответствующих (т.е. в отношении порядка следования) параметров должны быть совместимы. Для простых случаев вроде этого (т.е. без использования доп. правил из стандарта), типы считаются совместимыми или «имеющими совместный тип» тогда, когда они одинаковы (