Question

我正在使用类似的东西来定义SQL插入命令：

sql := 'insert into table(a, b, c) values (' + formatfunction(a) + ', ' + 
                                               formatfunction(b) + ', ' +
                                               formatfunction(c) + ');';

赋值后，变量sql以不同的顺序包含a，b，c的格式化值，结果如下：

insert into (a, b, c) values ('value in c', 'value in a', 'value in b');

可能是编译器优化的一些问题？

抱歉可怜的示例代码，完整的可执行代码如下：

procedure Execute(var v : String);
  function ExtractValue(var Content: String; Separator: Char = '|'): String;
  var
    vpHead,
    vpTail,
    vpContent: PChar;
    vsValor: String;
  begin
    vpContent := PChar(Content);
    Result := '';
    if (vpContent = nil) or
       (vpContent^=#0) then
      Exit;
    vpTail := vpContent;
    vpHead := vpTail;

    while not (CharInSet(vpTail^, [Separator]) or (vpTail^=#0)) do
      vpTail := StrNextChar(vpTail);

    if (vpHead^ <> #0) then
    begin
      if (vpHead <> vpTail) then
      begin
        SetString(vsValor, vpHead, vpTail - vpHead);
        Result := vsValor;
      end
      else
        Result := '';
    end;

    Content := Copy(Content, Length(vsValor) + 2, (Length(Content) - Length(vsValor)) + 1);
  end;

  function FormatAsDate(const s: String): TDate;
  begin
    Result := 0;

    if Trim(s) <> '' then
      Result := StrToDateDef(Copy(s, 1, 2) + '/' + Copy(s, 3, 2) + '/' + Copy(s, 5, 4), 0);
  end;

  function AsCurrency(const s: string): Double;
  begin
    Result := StrToFloatDef(s, 0);
  end;

  function AsDate(const s: string): string;
  var
    d: TDate;
  begin
    d := FormatAsDate(s);

    if d = 0 then
      Result := QuotedStr('null')
    else
      Result := QuotedStr(FormatDateTime('yyyy/mm/dd', d));
  end;

  function AsText(const s: string): string;
  begin
    Result := QuotedStr(s);
  end;
begin
  v :=
    'INSERT INTO TABLE (A, B, C, D, E, F, G, H, I, J, K, L, M) VALUES (' +
     AsText(ExtractValue(v)) + ', ' +
     AsText(ExtractValue(v)) + ', ' +
     AsText(ExtractValue(v)) + ', ' +
     AsText(ExtractValue(v)) + ', ' +
     AsText(ExtractValue(v)) + ', ' +
     AsText(ExtractValue(v)) + ', ' +
     AsDate(ExtractValue(v)) + ', ' +
     AsDate(ExtractValue(v)) + ', ' +
     StringReplace(FloatToStr(AsCurrency(ExtractValue(v))), ',', '.', []) + ', ' +
     StringReplace(FloatToStr(AsCurrency(ExtractValue(v))), ',', '.', []) + ', ' +
     AsText(ExtractValue(v)) + ', ' +
     StringReplace(FloatToStr(AsCurrency(ExtractValue(v))), ',', '.', []) + ', ' +
     StringReplace(FloatToStr(AsCurrency(ExtractValue(v))), ',', '.', []) + ');';
end;

使用输入字符串'04368898000106 | 06 | 00 ||| 3413572 | 26102011 | 31102011 | 1656,81 | 334,57 || 0,00 | 0,00'，insert命令的值在与输入字符串中显示的顺序不同。

Answer 1

您的代码取决于表达式中操作数的评估顺序。该评估订单未定义。

考虑一个更简单的案例，请考虑以下代码：

x := f1(a) + f2(b);

无法保证函数调用f1()和f2()的执行顺序。您可能希望f1()在f2()之前执行，但编译器并不能保证这一点，并且在实践中我相信这些操作数通常会从右到左进行评估。

在您的代码中，表达式中的操作数涉及函数调用ExtractValue()，它具有修改其参数的副作用。由于表达式中的操作数不是从左到右计算的，因此对ExtractValue()的调用的顺序与它们在表达式中出现的顺序不同。由于ExtractValue()具有影响表达式其余部分的副作用，因此结果取决于评估顺序。

您需要重新使用此代码，以便对ExtractValue()的调用发生在单独的语句中。

为什么连接字符串函数会将结果置于错误的顺序？

1 个答案: