Início / user-20491785

zorleone's questions

Martin Hope
zorleone
Asked: 2024-12-01 21:08:00 +0800 CST
  • 8

Ao tentar obter o primeiro ou último índice de uma string ilimitada, conforme mostrado neste programa

with Ada.Strings; use Ada.Strings; -- for `Backward`
with Ada.Strings.Unbounded;
with Ada.Text_IO; use Ada.Text_IO;

procedure Foo is
    package U_Str renames Ada.Strings.Unbounded;

    S : U_Str.Unbounded_String := U_Str.To_Unbounded_String ("example unbounded string");
    I : Natural := U_Str.Index (Source => S,
                                Pattern => "s",
                                Going => Backward,
                                From => S'Last);
begin
    Put_Line (I'Image);
end Foo;

GNAT reclama de U_Str.Unbounded_Stringser um tipo privado:

$ gnatmake foo.adb
x86_64-linux-gnu-gcc-10 -c foo.adb
foo.adb:12:41: prefix for "Last" attribute may not be private type
gnatmake: "foo.adb" compilation error

Não entendi isso, o mesmo programa com um regular Stringfunciona bem:

with Ada.Strings; use Ada.Strings; -- for `Backward`
with Ada.Strings.Fixed;
with Ada.Text_IO; use Ada.Text_IO;

procedure Foo is
    package F_Str renames Ada.Strings.Fixed;

    S : String := "example fixed string";
    I : Natural := F_Str.Index (Source => S,
                                Pattern => "s",
                                Going => Backward,
                                From => S'Last);
begin
    Put_Line (I'Image);
end Foo;

$ gnatmake foo.adb 
x86_64-linux-gnu-gcc-10 -c foo.adb
x86_64-linux-gnu-gnatbind-10 -x foo.ali
x86_64-linux-gnu-gnatlink-10 foo.ali
$ ./foo 
 15

As strings ilimitadas não têm atributos 'Firstand 'Last? O Manual de Referência Ada apenas afirma

Os seguintes atributos são definidos para um prefixo A que é de um tipo de matriz (após qualquer desreferência implícita) ou denota um subtipo de matriz restrito

mas não diz nada sobre tipos privados. Isso é um bug do GNAT ou eu perdi alguma coisa?

string
Martin Hope
zorleone
Asked: 2024-01-29 22:59:23 +0800 CST
  • 5

Estive lendo sobre as novas adições ao padrão C e encontrei macros para determinar o endianness em tempo de compilação .

No entanto, a norma ainda afirma que

A ordem de alocação de campos de bits dentro de uma unidade (ordem superior para ordem inferior ou ordem inferior para ordem superior) é definida pela implementação .

Isso significa que o layout de um campo de bits pode ser qualquer, independentemente do valor de __STDC_ENDIAN_NATIVE__?

c