Как проверить, есть ли в провекте неявное приведение?

[Stilet]

но подразумевается "наливал и выпивал"?

Ну да
Явное приведение типов водки к базовому объекту алкалойдов (или альдегидов?) под действием решета Кишечкосфена

[f.hump]

может прочитать проект от начала до конца?

измерение проекта в кол-ве символов довльно неожиданно, чувствуется творческий подход.


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

кстати, если подумать, то ответ на вопрос темы, даже без проверки: да есть. (за исключением, пожалуй, HelloWord)

[Stilet]

чувствуется творческий подход.

Мне этот подход напомнил одного из главных героев в 12-ти обезьянах. Того, что Питт играл. ТС оч. на него похож.

[Larboss]

измерение проекта в кол-ве символов довльно неожиданно

Мое представление о программировании никогда уже не будет прежним

[taras-proger]

Сообщение от Stilet

Ну и зачем же сие понадобилось?

Экземпляр некоторого класса передаётся в качестве параметра в функцию, при этом функция гарантированно имеет версию с параметром типа, к которому в классе есть оператор приведения. Должна быть вызвана версия, принимающая параметр, тип которого совпадает с фактическим классом объекта. У обеих версий было принято решение изменить количество параметров, но версии, которую надо было вызывать, я умудрился забыть увеличить количество параметров,а в вызове, и в версии, принимающей параметр типа, к которому возможно приведение, увеличил. В результате была вызвана версия с другим типом параметра, а у неё другие "побочные" эффекты. Причём, обе версии нужны именно ради "побочных" эффектов. Эту ошибку я отловил. Оператор приведения типа тоже нужен и применяется в другом месте программы, поэтому запретить приведение вообще я не могу. Эту ошибку я отловил. Но вдруг остались подобные?

Сообщение от Smitt&Wesson

приведение к типу, проверить можно, но зачем? Если ты программёр, приводишь переменную к нужному типу и всё. Если, вопрос о хаке, то тут это не обсуждается.

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

Сообщение от f.hump

может прочитать проект от начала до конца? измерение проекта в кол-ве символов довльно неожиданно, чувствуется творческий подход.

Количество символов указано именно за тем, чтоб исключить подобные "советы".

[Alex11223]

Ну так компиляторы с включенным максимальным уровнем предупреждений вроде выдают предупреждения об этом.
Еще как вариант ReSharper, CLion или какие-нибудь статические анализаторы типа распиаренного на весь интернет PVS.

[Smitt&Wesson]

Сообщение от MihalNik

Не моё, м.б., дело, но подразумевается "наливал и выпивал"?

Ну, не без этого Только когда наливаешь, друзей - немеряно .

[taras-proger]

Сообщение от Alex11223

Ну так компиляторы с включенным максимальным уровнем предупреждений вроде выдают предупреждения об этом.

Так предупреждений то ноль, а ошибка была. Среды выдают предупреждение на неявное приведение потерей точности, а мне надо отловить вообще все неявные приведения. Проблема не в потере точности, а в изменении "побочных" эффектов функций.

Сообщение от Alex11223

Еще как вариант ReSharper, CLion или какие-нибудь статические анализаторы типа распиаренного на весь интернет PVS.

А под кодоблоками?

[Пепел Феникса]

флаг GCC компилятора -Wconversion
Источник: http://stackoverflow.com/questions/1...it-conversions