Dotaz: Ulohy k procviceni

[Petr]

Ahoj, shanim nejake kousky kodu k reseni uloh viz priklad nize. Mam to pro procvicovani studenta ale doma jich mam zatracene malo (jeste pozustatky z FELu) a na netu jsem nic podobneho nenasel. Nemate neco vy, nebo alespon odkazy? Diky...

Priklad:

Do nasledujiciho kodu doplnte chybejici konstantu v podmince tak, aby procedura xyz() byla volana prave 2100krat...

for (i = 0; i < 70; i++)   {

j = 0;

do   {

if (j > ___) xyz();

j++;

}   while (j < 90);

}

Odpovědi

[NN]

Jazyk?

[Petr]

Idealne C nebo Pascal, z toho je zkouseji... (nebo neco intuitivne podobneho by asi nevadilo)

[pepe_]

Pascal ???

[Petr]

Jo, chce ted delat prijimacky na balalare na MFF informatiku davaji tam zadani (ekvivalentni) v pascalu i c... Chci mu trochu pomoct neco podobneho jsem meli tusim v "Algoritmech a datovych strukturach" na FELu :00

[Petr]

Nebo neco takoveho:)

Je dán následující program
program AAA
var A, B, C: integer
begin
read(A, B);
while A > B do
A := A – 2;
while B > A do
B := B – 2;
C := A + B;
writeln(C)
end.

Určete, jak závisí výsledná hodnota proměnné C (tzn. výstup programu) na vstupních
hodnotách proměnných A, B.

[rADOn]

int oops() {
     char ch = 0x80;
     switch (ch) {
     case 0x80:
         return 3;
     case 0x40:
         return 2;
     default:
         return 1;
     }
}

Jaky je vysledek oops() ?

[Václav Vanc]

Může se stát, že to někdy vrátí 2? Nebo je to tam jen pro zmatení nepřítele?

[DarkKnightCZ]

ne, vzdycky to vrati jedna, protoze 0x80 je 128, kdezto char ma max hodnotu 127, takze to pretece :)

[Václav Vanc]

No to vim, že to může vrátit buď 1 nebo 3, podle toho jestli je char signed nebo ne. Zajímalo mě, jestli (třeba na nějaký exotický architektuře) to může vrátit 2... :D

[rADOn]

Ne, tim to neni. Pokud pretece incializace toho charu, tak uplne stejne pretece i konstanta ve switchi. Je to chytak - vysledek zalezi na prekladaci.

[DarkKnightCZ]

ano, zalezi, zda bude brat 0x80 jako znak, nebo jako konstantu, pokud to bude pretypovavat, tak by to melo mit stejnou hodnotu, jinak by to melo padnout do defaultu

[potato]

Takže toto

If necessary, an integral promotion is performed on the controlling expression, and all expressions in the case statements are converted to the same type as the controlling expression

neplatí, nebo je nějaký způsob, jak to interpretovat nejednoznačně? Tedy jinak, než:

1. ch je menší než int, takže se převede na int

2. největší společný typ ch (nyní int) a konstatních výrazů v case je int

3. všechny konstatní výrazy v case se převedou na int

4. porovná se

Konstanty ve switchi podle mne přetéci nemohou, protože se jich žádný char netýká. U inicializace ch ale skutečně záleží na tom, jak se 0x80 převede do char.

[rADOn]

Čteš to blbě. Píše se tam že "výrazy v case se zkonvertují na stejný typ jako řídící výraz". Řídící výraz je neznaménkový char. 0x80 tedy přeteče, ale je to stejná operace jako když se inicializuje ch takže by se to mělo navzájem vynulovat a matchnout. Teoreticky

[rADOn]

Teď koukám že novější verze gcc už na to mají warning takže chyták se nekoná. Šlo o to že v jisté relativně nedávné verzi gcc se objevila změna: To co jsem psal výše platí (starší verze gcc vrátí 3), ale kompiler neví že se to za běhu navzájem vynuluje. Uvidí konstantu která nemůže matchnout (protože ji vidí jako int) takže celou tu case větev zahodí. Takže novější verze gcc spadnou do defaultu a vrátí jedna.

Vzpoměl jsem si na to páčž na to kluci v práci narazili, ale jak to tak čtu tak to není vhodný příklad pro začátečníka. Leda snad jako ilustrace užitečnosti -Wall.

[jekub]

měl jsem dojem, že řeč jde o jazyku, ne překladači

[potato]

Že něco dopadne v různých překladačích různě, může mít různé příčiny, například:

1. Konstrukce je undefined.

2. Konstrukce je implementation-defined.

3. Konstrukce se liší mezi verzemi standardu.

4. Konstrukce je jednoznačná, ale některý překladač to překládá blbě.

Z uvedených je pouze 4. čistě o kompilátoru. A i o ní se hodí vědět...

[potato]

Čtu to především celé, tedy

integral promotion is performed on the controlling expression

tedy, je-li menší než int, tak se nejdříve povýší na int.

[Jardík]

Bagr hrabe, char může mít i 128b, takže se běžte zahrabat.

[DarkKnightCZ]

ne, obycejny char v c nemuze mit 128b

[Jardík]

Proč by nemohl? Protože standard určuje jeho minimální velikost (8b), tak jste někde našel jeho maximální? Máte garantováno CHAR_BIT >= 8 a sizeof(char) = 1 (byte). Ale nikde nedefinuje, že 1 byte = 8 bitů a právě toto je závislé na architektuře. 1 byte není vždy 8 bitů. Pokud např. budeme kompilovat na platformě, kde 1 char je 16 bitů, bude platit:

CHAR_BIT = 16
sizeof(char) = 1     // * CHAR_BIT = 16b
sizeof(uint16_t) = 1 // * CHAR_BIT = 16b
sizeof(uint32_t) = 2 // * CHAR_BIT = 32b

Na takové platformě samozřejmě nebude definován typ uint8_t, protože architektura prostě nemá typ menší než 16b.

[Jardík]

To výše, standardem C99. POSIX tuším určuje CHAR_BIT vždy 8, ale ruku do ohně za to nedám.

[potato]

POSIX skutečně vyžaduje, aby CHAR_BIT byl 8. Například socketové API potřebuje oktety -- a char nemůže být větší než nejmenší adresovatelný typ.

[Šangala]

Sem tam mám v kódu něco, čemu říkám „compile assert“ (někde schované v knihovním namespace) něco jako:

typedef char library_assert_sizeof_char[sizeof(char) == 1 ? 1 : -1];   //have to be 1
typedef unsigned char library_assert_sizeof_unsigned_char[sizeof(unsigned char) == 1 ? 1 : -1]; //have to be 1
typedef char library_assert_sizeof_char_bits[ CHAR_BIT == 8 ? 1 : -1]; //sorry, this library needs it

[kuka]

Napriklad v jave to moc chytak neni

[wamba]

No pro Ruby existuje koans. I když Ruby nikterak nevyužívám, tak jsem si koans prošel a mají to podle mě dobře uděláno (celkem i zábava :))

Existují "koans" a podobné projekty i pro jiné jazyky (více či méně dotažené).

[Zdeněk Zámečník]

Zběžně jsem našel toto:

• Ostravská univerzita v Ostravě
• Beginning exercises
• KKY - Jan Kolaja
• Sbírka úloh z jazyka C