Должна ли переменная быть инициализирована перед вызовом функции?

Предполагая, что vPropValue является локальной переменной, тогда этот код

vPropValue := 0;
vPropValue := GetPropValue(vObject,'Height');

неотличим от

vPropValue := GetPropValue(vObject,'Height');

Более простой пример может быть таким:

i := 0;
i := 1;

Какой смысл присваивать 0 i, а затем сразу присваивать 1 i? Так что вы точно никогда не напишете такое. Вы бы написали:

i := 1;

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

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

vName := '';
vName := GetObjectName(vObject,'ObjectName');

неотличим от

vName := GetObjectName(vObject,'ObjectName');

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

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

Что касается функции в вашем редактировании, компилятор предупредит вас о ее ошибочной реализации, если вы включите подсказки и предупреждения. Компилятор скажет вам, что не все пути кода возвращают значение.

function GetValue(vType:integer):integer;
begin
  if vType=1 then
    Result:=100
  else if (vType>2) and (vType<=9) then
    Result:=200;
end;

Если ни одно из условий не выполняется, то переменной результата не присваивается никакого значения. Эта функция должна быть:

function GetValue(vType:integer):integer;
begin
  if vType=1 then
    Result:=100
  else if (vType>2) and (vType<=9) then
    Result:=200
  else
    Result:=0;
end;

Я не могу не подчеркнуть, насколько важно, чтобы вы всегда возвращали значение из функции. На самом деле это ужасная слабость, что Delphi даже позволяет компилировать вашу функцию.

Причина, по которой ваше двойное присваивание иногда кажется вам полезным, связана с причудой реализации возвращаемых значений функций в Delphi. В отличие от почти всех других языков, возвращаемое значение функции Delphi для некоторых более сложных типов на самом деле является параметром var. Итак, эта функция

function foo: string;

на самом деле, семантически, то же самое, что и это:

procedure foo(var result: string);

Это действительно странное решение дизайнеров Delphi. В большинстве других языков, таких как C, C++, C#, Java и т. д., возвращаемое значение функции похоже на параметр по значению, передаваемый от вызываемого объекта к вызывающему.

Это означает, что вы можете, если хотите быть извращенными, передавать значения в функцию через ее возвращаемое значение. Например, рассмотрим этот код:

// Note: this code is an example of very bad practice, do not write code like this

function foo: string;
begin
  Writeln(Result);
end;

procedure main;
var
  s: string;
begin
  s := 'bar';
  s := foo;
end;

Когда вы вызываете main, он выводит bar. Это довольно странная деталь реализации. Вы не должны полагаться на это. Позвольте мне повторить. Вы не должны полагаться на это. Не привыкайте инициализировать возвращаемые значения на месте вызова. Это приводит к неподдерживаемому коду.

Вместо этого следуйте простому правилу обеспечения того, чтобы возвращаемое функцией значение всегда присваивалось функцией и никогда не считывалось до того, как оно было присвоено.

Более подробная информация о реализации возвращаемых функцией значений приведена в документации, где я выделил:

Следующие соглашения используются для возврата значений результата функции.

• Порядковые результаты возвращаются, когда это возможно, в регистр ЦП. Байты возвращаются в AL, слова возвращаются в AX, а двойные слова возвращаются в EAX.
• Реальные результаты возвращаются в верхний регистр стека сопроцессора с плавающей запятой (ST(0)). Для результатов функции типа «Валюта» значение в ST(0) масштабируется на 10000. Например, значение «Валюта» 1,234 возвращается в ST(0) как 12340.
• Для строки, динамического массива, указателя метода или вариантного результата результат будет таким же, как если бы результат функции был объявлен как дополнительный параметр var после объявленных параметров. Другими словами, вызывающий объект передает дополнительный 32-битный указатель, указывающий на переменную, в которой должен быть возвращен результат функции.
• Int64 возвращается в EDX:EAX.
• Результаты указателя, класса, ссылки на класс и указателя процедуры возвращаются в EAX.
• Для результатов static-array, record и set, если значение занимает один байт, оно возвращается в AL; если значение занимает два байта, оно возвращается в AX; и если значение занимает четыре байта, оно возвращается в EAX. В противном случае результат возвращается в виде дополнительного параметра var, который передается функции после объявленных параметров.

Следующий код (А)

vPropValue := 0;
vPropValue := GetPropValue(vObject,'Height');

неотличим от (В)

vPropValue := GetPropValue(vObject,'Height');

Вопрос о том, "правильно ли написано" GetPropValue, совершенно неуместен.

Давайте рассмотрим, что произойдет, даже если вы напишете GetPropValue неправильно.

function GetPropValue(AObject: TObject; AStr: String): Integer;
begin
  if AStr = 'Hello' then Result := 5;
end;

Как вы знаете, когда вход AStr отличается от «Hello», результат функции будет в значительной степени случайным. (Ради обсуждения предположим, что он вернет -42.)

Блок кода (A) сделает следующее:

• Установите vPropValue на 0
• Затем установите vPropValue на - 42

Блок кода (B) просто немедленно установит vPropValue в -42.

СОВЕТ. Нет смысла писать бесполезную строку кода только потому, что вы беспокоитесь, что могли допустить ошибку в вызываемой вами функции.
Во-первых, как указывает Дэвид, вы можете избежать многих ошибок, просто обращая внимание к вашим подсказкам и предупреждениям компилятора. Во-вторых, такое "параноидальное" кодирование просто приводит к более расточительному коду, потому что теперь вы должны начать рассматривать недопустимые значения как возможные результаты.
Ситуация становится еще хуже, когда однажды ваше "безопасное значение" на самом деле < em>допустимое значение. Например. как бы вы определили разницу между «0 по умолчанию» и «правильно возвращенный 0»?

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

Примечание

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

Я упомянул их исключительно для полноты картины, приведенный выше совет остается в силе.

1) если vPropValue реализовано как свойство, установщик может иметь побочные эффекты, вызывающие другое поведение. Хотя в свойствах нет ничего плохого, когда они делают неожиданные вещи, у вас возникают серьезные проблемы.

2) если vPropValue является полем класса (или, что еще хуже, глобальной переменной), то (A) и (B) могут вести себя по-разному, но только если< /strong> GetPropValue вызывает исключение. Это связано с тем, что исключение предотвратит присвоение результата. Обратите внимание, что этого следует избегать, за исключением особых случаев, потому что это затрудняет понимание того, что делает ваш код.