Хорошая короткая статья про оператор new и его малоизвестные возможности:
http://eli.thegreenplace.net/2011/02/17/the-many-faces-of-operator-new-in-c/

The Dark Side of C++

Презентахка о перхоти и опухолях Изначальнанаго Языка Мироздания: как заставить компилятор компилировать вечно, выръвать мозх следующему программисту и т.д.

Представим вот такой кот:

struct A { void f() { std::cout << "A::f()\n"; } ~A() { std::cout << "A is dead\n"; } }; struct B: public A { void f() { std::cout << "B::f()\n"; } ~B() { std::cout << "B is dead\n"; } };

Обращаем особое внимание на невиртуальность деструктора.

Теперь пишем вот так:

const A & devilish = B ( Read more... )

Пишем так:

struct A { };

template
A & operator < ( A& a, T ) { return a; }

A & operator > ( A& a, int ) { return a; }

Затем так:

A a;
A b = a< a< a<"qwr"> 5> 6> 7;

И оно компилируется блдяь!

( Read more... )

Ещё в С++ запрещено использовать локальные типы при инстанцировании шаблона.

т.е. вот:

template struct faka {
   typedef T fakatype;
};

struct globalfaka {};

void main()
{
     struct localfaka {};

faka f1;    // так можно
     faka f2;     // а так нельзя
}

Причин этому нетЪ.


( Read more... )

В С++ запрещено задавать для шаблонной функции шаблонные параметры по умолчанию.

Т.е. нельзя написать:
template bool f( A a, B b = 0) { blablabla; }

Если было бы можно, то вызов f(1) сгенерировал бы функцию
bool f(int a, void * b = 0)

При этом аналогичный шаблон класса создать можно.

Штрауструп говорит, что если приспичило, то надо писать так:
template ( Read more... )