C++ is statically typed. Programmers inform their compiler about the types they are using. In return the compiler warns them of any type abuse it detects. Static typing doesn't cure all known defects, of course. On occasion, a defect which appears type-related can slip through the type system undetected. This article tells the true story of two such defects. It discusses how they might have been avoided and concludes with some more general advice.

someobj->new_window("alert", width=10, titlebar=false);

C>someobj->new_window("alert", width=10, titlebar=false);
C>

A more radical approach would be to enlist the Boost Parameters library [8], which uses some astonishing metaprogramming techniques to provide C++ with keyword arguments, allowing us to call our new function as follows (for example):

    boostTextRender(text = "Built in Type Safety?",
                    bold = true,
                    region = full_screen);

or, equivalently:

    boostTextRender(region = full_screen,
                    bold = true,
                    text = "Built in Type Safety?");

    /**
     * Typedef used to represent signal quality as a percentage.
     * 100 represents perfect signal, 0 no signal.
     */
    typedef int Signal;

    /**
     * Typedef used to represent signal quality as a percentage.
     * 100 represents perfect signal, 0 no signal.
     */
    typedef unsigned Signal;

    unsigned u = 0;
    int i = 0;
    u = i;
    i = u;

Rewinding the header file shows that once upon a time we had:

    /**
     * Typedef used to represent signal quality as a percentage.
     * 100 represents perfect signal, 0 no signal.
     */
    typedef int Signal;

The code worked just fine back then.

WS_OVERLAPPEDWINDOW | CS_OWNDC

В.6. Неявное преобразование типов
...
В.6.1. Продвижения
Неявные преобразования, сохраняющие значение, обычно называют продвижениями. Перед тем, как выполнить арифметическую операцию, используется интегральное продвижение — для того, чтобы создать переменные типа int из переменных более "коротких" целых типов.
...
Интегральные продвижения таковы:

• char, signed char, unsigned char, short int или unsigned short int преобразуются в int, если int может представить все значения исходных типов; в противном случае они преобразуются в unsigned int.
  ...

Продвижения используются как часть обычных арифметических преобразований (§ В.6.3).
...
В.6.3. Обычные арифметические преобразования
Эти преобразования выполяются над операндами бинарного оператора, чтобы привести их к общему типу, который потом используется как тип результата:
...

unsigned char n = 10;

ostringstream s;
s << n - 20;
assert(s.str() == "-10");

    /**
     * @return True if the input signals differ by more than the supplied
     * tolerance, false otherwise.
     */
    bool
    signalsDifferent(Signal s1, Signal s2, int tol)
    {
        return 
            s1 > s2 + tol || s1 < s2 - tol;
    }

We could recast the arithmetic so it works independently of signedness:

    bool
    signalsDifferent(Signal s1, Signal s2, int tol)
    {
        return 
            s1 > s2 + tol || s2 > s1 + tol;
    }

const int SignalMax = 100;
inline bool SignalEquals(int Sig1, int Sig2, int Tol)
{
  assert((0 <= Sig1) && (Sig1 <= SignalMax));
  assert((0 <= Sig2) && (Sig2 <= SignalMax));
  assert(Tol >= 0);
  return abs(Sig1 - Sig2) <= Tol;
}

• Вычисление hash-значения. Обычно это что-то вроде:
  

  int CalcBucketIndex(const char pText[], int Len)
  {
    unsigned h = 0;
    for (int i = 0; i < Len; i++)
    {
      h = 31 * h + pText[i];
    }
    return h % m_NumBuckets;
  }

  
  Здесь unsigned лучше int-а, так как не нужно обрабатывать отрицательные значения переменной h (возникают при переполнении int-а). Беззнаковая арифметика изолирована в функции.
  
• Распределитель памяти. Размеры запрашиваемых блоков памяти, скорее всего, умещаются в int. Поэтому беззнаковую арифметику можно и нужно изолировать в классе распределителя.
  
• Очень большие файлы. Скорее всего, базы данных.
  
• 16-битная платформа. 16-битного int-а может не хватить, а использовать 32-битный long не хочется, так как это затратно. Кстати, в статье может идти речь именно о такой платформе.

unsigned n = 10;
cout << n - 20 << endl;
cout << (n - 20 < 0) << endl;

4294967286
0

unsigned char n = 10;
cout << n - 20 << endl;
cout << (n - 20 < 0) << endl;

-10
1

unsigned char n = 10;
cout << n - 20 << endl;
n = (n - 20 < 0);
cout << n << endl;