Насколько оправдан код на C++ в стиле Perl/PHP, с операцией || в роли if (!)?

Question

[Mercury13]

Допустим, у нас есть функция

bool tryParseFloat(const wchar_t* aData, const wchar_t aPoint, double& rValue) {}

Такой код часто встречается на Perl или PHP, но насколько он ожидаем в C++?

tryParseFloat(data, L'.', value) || tryParseFloat(data, L',', value);

Пример синтетический и не совсем удачный, но принцип поняли.

Comments

[Mercury13]

Нечасто такое встречается в C++, а в PHP — постоянно.

mysql_connect($Sql_sServer, $Sql_User_sLogin, $Sql_User_sPassword) || die('Cannot connect to database: ' . mysql_error());

[AtomKrieg]

почему функция называется tryParseFloat, а результат пишется в double?

Answer 1

[maaGames]

НЕ стоит так писать. Оптимизатор вполне может сделать предвычисление аргументов функций до вызова самих методов и, если аргументы не тривиальные, то это может изменить логику программы. Да и вообще, такое читать довольно сложно и не очевидно.

Comments

[MiiNiPaa]

> Оптимизатор вполне может сделать предвычисление аргументов функций до вызова самих методов

Не может. Язык гарантирует, что правая часть вычислится только в случае, если левая часть ложна. Это касается и аргументов функции.

[maaGames]

MiiNiPaa: Правая часть - это правая часть. А аргументы - это аргументы. Аргументы могут вычислиться в любом порядке, на усмотрение компилятора. А вот вторая функция выполнится только если первая вернёт false - именно это говорит стандарт языка.

[MiiNiPaa]

> Аргументы могут вычислиться в любом порядке

Аргументы правой части могут быть вычислены только после того как левая полностью вычислена, её побочные эффекты выполнены и результат левой части 0. Между левой и правой частью sequence point. Код sink(print(1)) || sink(print(2)) может вывести на экран только 12 или 1 в зависимости от значения, которое вернул первый вызов sink.

[Mercury13]

Не высчитает, логическое ИЛИ (||) — точка следования.

[abcd0x00]

maaGames:

Аргументы могут вычислиться в любом порядке, на усмотрение компилятора.

Вот пример
n = f(i) || f(++i);
Эта строка всегда сработает одинаково.

[maaGames]

abcd0x00: Это не совсем то, о чём я говорил Я имел в виду код типа: "n = f(Func(A)) || f(Func(B));". Т.е., что Func(A) и Func(B) выполняются до вызова f(Func(A)).
Но теперь я не уверен на 100%, что это действительно возможно, а специально написать подобный код невозможно...

[abcd0x00]

maaGames: ну так про то и речь. Чему будет равно i в первом вызове функции f()? Вот оно всегда будет равно i, потому что ++i никогда не вычислится, если f(i) вернёт истину. А вызов функции на месте ++i точно так же никогда не сработает. Ни при каких оптимизациях. Потому что если он сработает, это будет нарушением стандарта языка.

[maaGames]

abcd0x00: Всё, до меня дошло. Я описал ситуацию с перегруженным оператором, там ленивые вычисления не работают, потому что это уже совсем не то, на что похоже внешне.

Answer 2

[AtomKrieg]

//! Brief description.
//function try to parse with aPoint decimal delimiter using position order in vector
//in example: if aPoint[0] fails try aPoints[1] etc...
bool tryParseFloat(const wchar_t* aData, const std::vector<wchar_t>& aPoint, float& rValue) {}

tryParseFloat(data, {L'.', L','}, value);

//или
bool tryParseFloat(const wchar_t* aData, const wchar_t* aPoint, float& rValue) {}

tryParseFloat(data, L".,", value);

Но я бы две такие сигнатурки сделал (не всегда нужно проверять результат парсинга):

float tryParseFloat(const wchar_t* aData, const std::vector<wchar_t>& aPoint, bool& result) {}
float tryParseFloat(const wchar_t* aData, const std::vector<wchar_t>& aPoint, float default_value = 0.0f) {}