Вопрос по PChar

[Somebody]

[QUOTE=Armorer;202906]

 TestStr := 'Строка1';
 CharToOem( PChar(TestStr), PChar(TestStr) );
 Writeln( TestStr );

 TestStr := 'Строка2';
 CharToOem( @TestStr[1], @TestStr[1] );
 Writeln( TestStr );

View -> Debug Windows -> CPU
Случай второй. Компилятор видит, что передаются 2 адреса символа строки. Создаётся 2 копии строки (именно 2 копии, а изначально строка была в read only памяти), всё хорошо.
Случай первый. Компилятор видит, что передаётся 2 каких-то адреса и передаёт адрес read only памяти, функция пытается туда писать, получается исключение. Это у меня так в Delphi 6, может быть, в других версиях по-другому.

[Armorer]

[QUOTE=Somebody;203962]

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

 TestStr := 'Строка1';
 CharToOem( PChar(TestStr), PChar(TestStr) );
 Writeln( TestStr );

 TestStr := 'Строка2';
 CharToOem( @TestStr[1], @TestStr[1] );
 Writeln( TestStr );

View -> Debug Windows -> CPU
Случай второй. Компилятор видит, что передаются 2 адреса символа строки. Создаётся 2 копии строки (именно 2 копии, а изначально строка была в read only памяти), всё хорошо.
Случай первый. Компилятор видит, что передаётся 2 каких-то адреса и передаёт адрес read only памяти, функция пытается туда писать, получается исключение. Это у меня так в Delphi 6, может быть, в других версиях по-другому.

Наверно имелись в виду эти функции?

Function Convert1( S : String ) : String;
begin
 CharToOem( PChar(S), PChar(S) );
 Result := S;
end;

Function Convert2( S : String ) : String;
begin
 CharToOem( @S[1], @S[1] );
 Result := S;
end;

Тот код у меня работает в 6 и 7 нормально. А вот функции нет.


Скорее всего это правильное объяснение, так как в таких видах функция работает:

Function Convert1(S : String ) : String;
begin
 UniqueString(S1);
 CharToOem( PChar(S), PChar(S) );
 Result := S;
end;

Function Convert1(var S : String ) : String;
begin
 CharToOem( PChar(S), PChar(S) );
 Result := S;
end;

Function Convert1(S : String ) : String;
begin
 S[1] := 'T';
 CharToOem( PChar(S), PChar(S) );
 Result := S;
end;

А вот так ошибка:

Function Convert2(var S : String ) : String;
begin
 CharToOem( Pointer( S[1] ), Pointer( S[1] ) );
 Result := S;
end;

То есть копия создается только в случае вызова @S[1] и не создаётся в случаях Pointer( S[1] ), Pointer( S ), PChar( S ).

Но вызов функции CharToOem( PChar(S), PChar(S) ); не работает только внутри функции Convert1. И если исходить из того что копирование не происходит то и в программе

 TestStr := 'Строка1';
 CharToOem( PChar(TestStr), PChar(TestStr) ); //должна быть ошибка

Но ошибки у меня нет. Хотя также константа 'Строка1' создается в памяти которую нельзя менять, на неё устанавливается строка (указатель) TestStr, а за тем в CharToOem передается этот же указатель на память read only. Но ошибки нет и возникает противоречие=)

Теперь вопрос стоит немного по другому - почему это не работает:

Function Convert1(S : String ) : String;
begin
 CharToOem( PChar(S), PChar(S) );//ошибка
 Result := S;
end;
***
Writeln( Convert1( 'Тест' ) );

а вот это работает:

Program aaa;
***
var
TestStr  : String;
begin
 TestStr := 'Строка1';
 CharToOem( PChar(TestStr), PChar(TestStr) ); //ошибки нет
 Writeln( TestStr );
***

Вот статья по теме, хотя в ней ответа я не нашел.
http://www.delphikingdom.ru/asp/view...catalogid=1206

[Somebody]

(Это предположение на основе воспоминаний, не проверял) Похоже, что в случае
TestStr := 'Строка'; Convert1(TestStr);
строка оказывается в секции данных, а в случае
Convert1('Строка');
в секции кода (это такая фича у Borlandовских компиляторов, другие вроде данные в секции кода не размещают)