T>И вот вчера группа неплохо написала мне простенький midterm тестик на десять вопросов в части которых есть варианты ответа, в части — надо написать пару строчек несложного кода. Условия обычные -- 40 минут и никуда не подглядывать. Но что меня больше всего поразило -- какой фурор этот тест вызвал среди моих коллег, среди которых нашлось даже больше желающих попробовать в нем свои силы, чем среди студентов

#include <cassert>  
template <typename T, typename U> bool 
operator == (const T &x, const U &y) 
{ 
  return !(x < y) && !(y < x);  
} 
template <typename T, typename U> bool 
operator != (const T &x, const U &y) 
{ 
  return !(x == y);  
} 
struct Pair  
{ 
  int m_x, m_y; 
  Pair (int x, int y = 0): m_x(x), m_y(y) {}  
};  
bool 
operator < (const Pair &lhs, const Pair &rhs) 
{ 
  return (lhs.m_x < rhs.m_x) || ((lhs.m_x == rhs.m_x) && (lhs.m_y < rhs.m_y)); 
}  
int 
main (void) 
{ 
  Pair a (2);  
  Pair b (2, 1);  
  int c = 2, d = 2; 
  /* 1 */ assert (b != a);  
  /* 2 */ assert (c == d); 
  /* 3 */ assert (a == c); 
  /* 4 */ assert (d == b); 
  return 0; 
}

gcc main.cpp

a.out

a.out: main.cpp:31: int main(): Assertion `d == b' failed.
Аварийный останов (сделан дамп памяти)

gcc --help

Usage: gcc [options] file...
Options:
...
  -S                       Compile only; do not assemble or link
..

gcc -S main.cpp

    .file    "main.cpp"
    .section    .text._ZN4PairC2Eii,"axG",@progbits,_ZN4PairC5Eii,comdat
    .align 2
    .weak    _ZN4PairC2Eii
    .type    _ZN4PairC2Eii, @function
_ZN4PairC2Eii:
.LFB3:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    movl    8(%ebp), %eax
    movl    12(%ebp), %edx
    movl    %edx, (%eax)
    movl    8(%ebp), %eax
    movl    16(%ebp), %edx
    movl    %edx, 4(%eax)
    popl    %ebp
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE3:
    .size    _ZN4PairC2Eii, .-_ZN4PairC2Eii
    .weak    _ZN4PairC1Eii
    .set    _ZN4PairC1Eii,_ZN4PairC2Eii
    .text
    .globl    _ZltRK4PairS1_
    .type    _ZltRK4PairS1_, @function
_ZltRK4PairS1_:
.LFB5:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    movl    8(%ebp), %eax
    movl    (%eax), %edx
    movl    12(%ebp), %eax
    movl    (%eax), %eax
    cmpl    %eax, %edx
    jl    .L3
    movl    8(%ebp), %eax
    movl    (%eax), %edx
    movl    12(%ebp), %eax
    movl    (%eax), %eax
    cmpl    %eax, %edx
    jne    .L4
    movl    8(%ebp), %eax
    movl    4(%eax), %edx
    movl    12(%ebp), %eax
    movl    4(%eax), %eax
    cmpl    %eax, %edx
    jge    .L4
.L3:
    movl    $1, %eax
    jmp    .L5
.L4:
    movl    $0, %eax
.L5:
    popl    %ebp
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE5:
    .size    _ZltRK4PairS1_, .-_ZltRK4PairS1_
    .section    .rodata
.LC0:
    .string    "main.cpp"
.LC1:
    .string    "b != a"
.LC2:
    .string    "c == d"
.LC3:
    .string    "a == c"
.LC4:
    .string    "d == b"
    .text
    .globl    main
    .type    main, @function
main:
.LFB6:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    andl    $-16, %esp
    subl    $48, %esp
    movl    $0, 8(%esp)
    movl    $2, 4(%esp)
    leal    32(%esp), %eax
    movl    %eax, (%esp)
    call    _ZN4PairC1Eii
    movl    $1, 8(%esp)
    movl    $2, 4(%esp)
    leal    40(%esp), %eax
    movl    %eax, (%esp)
    call    _ZN4PairC1Eii
    movl    $2, 24(%esp)
    movl    $2, 28(%esp)
    leal    32(%esp), %eax
    movl    %eax, 4(%esp)
    leal    40(%esp), %eax
    movl    %eax, (%esp)
    call    _ZneI4PairS0_EbRKT_RKT0_
    testb    %al, %al
    jne    .L8
    movl    $_ZZ4mainE19__PRETTY_FUNCTION__, 12(%esp)
    movl    $28, 8(%esp)
    movl    $.LC0, 4(%esp)
    movl    $.LC1, (%esp)
    call    __assert_fail
.L8:
    movl    24(%esp), %edx
    movl    28(%esp), %eax
    cmpl    %eax, %edx
    je    .L9
    movl    $_ZZ4mainE19__PRETTY_FUNCTION__, 12(%esp)
    movl    $29, 8(%esp)
    movl    $.LC0, 4(%esp)
    movl    $.LC2, (%esp)
    call    __assert_fail
.L9:
    leal    24(%esp), %eax
    movl    %eax, 4(%esp)
    leal    32(%esp), %eax
    movl    %eax, (%esp)
    call    _ZeqI4PairiEbRKT_RKT0_
    testb    %al, %al
    jne    .L10
    movl    $_ZZ4mainE19__PRETTY_FUNCTION__, 12(%esp)
    movl    $30, 8(%esp)
    movl    $.LC0, 4(%esp)
    movl    $.LC3, (%esp)
    call    __assert_fail
.L10:
    leal    40(%esp), %eax
    movl    %eax, 4(%esp)
    leal    28(%esp), %eax
    movl    %eax, (%esp)
    call    _ZeqIi4PairEbRKT_RKT0_
    testb    %al, %al
    jne    .L11
    movl    $_ZZ4mainE19__PRETTY_FUNCTION__, 12(%esp)
    movl    $31, 8(%esp)
    movl    $.LC0, 4(%esp)
    movl    $.LC4, (%esp)
    call    __assert_fail
.L11:
    movl    $0, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE6:
    .size    main, .-main
    .section    .text._ZneI4PairS0_EbRKT_RKT0_,"axG",@progbits,_ZneI4PairS0_EbRKT_RKT0_,comdat
    .weak    _ZneI4PairS0_EbRKT_RKT0_
    .type    _ZneI4PairS0_EbRKT_RKT0_, @function
_ZneI4PairS0_EbRKT_RKT0_:
.LFB7:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    subl    $24, %esp
    movl    12(%ebp), %eax
    movl    %eax, 4(%esp)
    movl    8(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZeqI4PairS0_EbRKT_RKT0_
    xorl    $1, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE7:
    .size    _ZneI4PairS0_EbRKT_RKT0_, .-_ZneI4PairS0_EbRKT_RKT0_
    .section    .text._ZeqI4PairiEbRKT_RKT0_,"axG",@progbits,_ZeqI4PairiEbRKT_RKT0_,comdat
    .weak    _ZeqI4PairiEbRKT_RKT0_
    .type    _ZeqI4PairiEbRKT_RKT0_, @function
_ZeqI4PairiEbRKT_RKT0_:
.LFB8:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    pushl    %esi
    pushl    %ebx
    subl    $32, %esp
    .cfi_offset 6, -12
    .cfi_offset 3, -16
    movl    $0, %ebx
    movl    12(%ebp), %eax
    movl    (%eax), %eax
    movl    $0, 8(%esp)
    movl    %eax, 4(%esp)
    leal    -16(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZN4PairC1Eii
    movl    $1, %esi
    leal    -16(%ebp), %eax
    movl    %eax, 4(%esp)
    movl    8(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZltRK4PairS1_
    xorl    $1, %eax
    testb    %al, %al
    je    .L16
    movl    12(%ebp), %eax
    movl    (%eax), %eax
    movl    $0, 8(%esp)
    movl    %eax, 4(%esp)
    leal    -24(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZN4PairC1Eii
    movl    $1, %ebx
    movl    8(%ebp), %eax
    movl    %eax, 4(%esp)
    leal    -24(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZltRK4PairS1_
    xorl    $1, %eax
    testb    %al, %al
    je    .L16
    movl    $1, %eax
    jmp    .L17
.L16:
    movl    $0, %eax
.L17:
    testb    %bl, %bl
    movl    %esi, %edx
    testb    %dl, %dl
    addl    $32, %esp
    popl    %ebx
    .cfi_restore 3
    popl    %esi
    .cfi_restore 6
    popl    %ebp
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE8:
    .size    _ZeqI4PairiEbRKT_RKT0_, .-_ZeqI4PairiEbRKT_RKT0_
    .section    .text._ZeqIi4PairEbRKT_RKT0_,"axG",@progbits,_ZeqIi4PairEbRKT_RKT0_,comdat
    .weak    _ZeqIi4PairEbRKT_RKT0_
    .type    _ZeqIi4PairEbRKT_RKT0_, @function
_ZeqIi4PairEbRKT_RKT0_:
.LFB9:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    pushl    %esi
    pushl    %ebx
    subl    $32, %esp
    .cfi_offset 6, -12
    .cfi_offset 3, -16
    movl    $0, %ebx
    movl    8(%ebp), %eax
    movl    (%eax), %eax
    movl    $0, 8(%esp)
    movl    %eax, 4(%esp)
    leal    -16(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZN4PairC1Eii
    movl    $1, %esi
    movl    12(%ebp), %eax
    movl    %eax, 4(%esp)
    leal    -16(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZltRK4PairS1_
    xorl    $1, %eax
    testb    %al, %al
    je    .L22
    movl    8(%ebp), %eax
    movl    (%eax), %eax
    movl    $0, 8(%esp)
    movl    %eax, 4(%esp)
    leal    -24(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZN4PairC1Eii
    movl    $1, %ebx
    leal    -24(%ebp), %eax
    movl    %eax, 4(%esp)
    movl    12(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZltRK4PairS1_
    xorl    $1, %eax
    testb    %al, %al
    je    .L22
    movl    $1, %eax
    jmp    .L23
.L22:
    movl    $0, %eax
.L23:
    testb    %bl, %bl
    movl    %esi, %edx
    testb    %dl, %dl
    addl    $32, %esp
    popl    %ebx
    .cfi_restore 3
    popl    %esi
    .cfi_restore 6
    popl    %ebp
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE9:
    .size    _ZeqIi4PairEbRKT_RKT0_, .-_ZeqIi4PairEbRKT_RKT0_
    .section    .text._ZeqI4PairS0_EbRKT_RKT0_,"axG",@progbits,_ZeqI4PairS0_EbRKT_RKT0_,comdat
    .weak    _ZeqI4PairS0_EbRKT_RKT0_
    .type    _ZeqI4PairS0_EbRKT_RKT0_, @function
_ZeqI4PairS0_EbRKT_RKT0_:
.LFB10:
    .cfi_startproc
    pushl    %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    subl    $8, %esp
    movl    12(%ebp), %eax
    movl    %eax, 4(%esp)
    movl    8(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZltRK4PairS1_
    xorl    $1, %eax
    testb    %al, %al
    je    .L28
    movl    8(%ebp), %eax
    movl    %eax, 4(%esp)
    movl    12(%ebp), %eax
    movl    %eax, (%esp)
    call    _ZltRK4PairS1_
    xorl    $1, %eax
    testb    %al, %al
    je    .L28
    movl    $1, %eax
    jmp    .L29
.L28:
    movl    $0, %eax
.L29:
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE10:
    .size    _ZeqI4PairS0_EbRKT_RKT0_, .-_ZeqI4PairS0_EbRKT_RKT0_
    .section    .rodata
    .type    _ZZ4mainE19__PRETTY_FUNCTION__, @object
    .size    _ZZ4mainE19__PRETTY_FUNCTION__, 11
_ZZ4mainE19__PRETTY_FUNCTION__:
    .string    "int main()"
    .ident    "GCC: (Ubuntu 4.8.2-19ubuntu1) 4.8.2"
    .section    .note.GNU-stack,"",@progbits

Так кто же мы такие и куда движемся. Студенты, коллеги, зачем? Чёрный ящик, игральный автомат, русская рулетка. Почему вас это так заинтересовало. Бред ли? Нет, я компилятор. Понять значит предвидеть. Задумаемся. Пятница, выходной, понедельник. Головоломка. Для чего? Польза, генератор, строка. Дело было вечером, делать было нечего. Галка села на заборе, Кот забрался на чердак. Тут сказал ребятам Боря Просто так. А в-четвертых — наша мама Отправляется в полет, Потому что наша мама Называется — пилот!

3) Я почему-то сейчас понял, что если пять лет писать компиляторы, то сходишь с ума

Условия обычные -- 40 минут и никуда не подглядывать

Дано
template<class T1 = float, class T2> class Foo;
В чём ошибка?

Об авторе 8
Благодарности 9
Введение 11
Глава 1. Джейми Завински 15
Глава 2. Брэд Фицпатрик 55
Глава 3. Дуглас Крокфорд 93
Глава 4. Брендан Айк 129
Глава 5. Джошуа Блох 159
Глава 6. Джо Армстронг 191
Глава 7. Саймон Пейтон-Джонс 219
Глава 8. Питер Норвиг 255
Глава 9. Гай Стил 283
Глава 10. Дэн Ингаллс 321
Глава 11. Питер Дойч 357
Глава 12. Кен Томпсон 391
Глава 13. Фрэн Аллен 421
Глава 14. Берни Козелл 451
Глава 15. Дональд Кнут 491
Библиография 526
Алфавитный указатель 529

Дано
template<class T1 = float, class T2> class Foo;
В чём ошибка?

Foo <int> t; /* T1 = float? */

template<class T1 = float, class T2, class T3 = int> class Bar;
Bar <int, float> t; /* Hm? */

Foo <,int> t; /* T1 = float! */

T>Foo <int> t; /* T1 = float? */
T>

template <class T1=def2, class T2, class T3=def3, ... class Tn> class Foo;

template <class T1=def2, class T2=def2, class T3, ... class Tn> class Foo

Foo<def3, ...defn> f;

template <class T1, class T2, class T3=def3, ... class Tn=def3> class Foo

Foo<def1, def2> f;

template <class T1, class T2, class T3=def3, ... class Tn=def3> class Foo

template <class T1=def2, class T2=def2, class T3, ... class Tn> class Foo

template <class T1 = float, class T2 = float> class Foo {/* ... */};
template <class T1, class T2 = float>         class Bar {/* ... */};
template <class T1 = float, class T2>         class Buz {/* ... */};

/* ... */
Buz <int> a; /* T2 = int */
Bar <int> b; /* T1 = int */
Foo <int> c; /* T1 = int or T2 = int? */

template <class T1 = float, class T2 = float, class T3> class ComplexFoo {/* ... */};

template <class T1, class T2> class ComplexFoo<T1, T2, int> {/* ... */}

ComplexFoo <int> c; /* T1 = int or T3 = int? */

template <class T1 = float, class T2 = float> class Foo {/* ... */};
template <class T1, class T2 = float>         class Bar {/* ... */};
template <class T1 = float, class T2>         class Buz {/* ... */};

/* ... */
Buz <T1:int> a; /* T2 = int */
Bar <T2:int> b; /* T1 = int */
Foo <T1:int> c; /* T1 = int! */