class X {
    int const i_;
public:
    X(int i) : i_ (i) {}

    void f(X const& x)
    {
        *this = x;
    }
private:
    X& operator=(X const&);
};

A>С ужасом представил, как это будет выглядеть при отладке.

J>>  other implementation-defined characters
J>>

A>Вы что-же батенька, хотите все функции с двумя аргументами запретить? Там же тоже в середине есть запятая.

  postfix-expression [ expression ]
  postfix-expression ( expression-list opt )

expression-list:
  assignment-expression
  expression-list , assignment-expression // разделитель аргументов

expression:
  assignment-expression
  expression , assignment-expression // оператор запятая

J>>return boost::make_tuple(x,y);
J>>

A>Это как бы несколько другой язык.

import std.stdio;

template factorial(double n) if (n > 1.0)
{
  const factorial = n * factorial!(n-1);
}

template factorial(double n) if (n <= 1.0)
{
  const factorial = 1.0;
}


void main()
{
  writeln(factorial!(4));
}

I>class X {
I>    int const i_;
I>public:
I>    X(int i) : i_ (i) {}
I>}; // warning C4512: 'X' : assignment operator could not be generated
I>

struct aa
{
    int* b;
    aa(int a)
    {
        b = new int(a);
    }
    ~aa()
    {
        delete b;
        b = 0;
    }
};

class X {
     aa const i_;
public:
    X(int i) : i_ (i) {}

};

void main() 
{
    X x(5);
    X y(x); //утечка памяти. А компилятор предупреждал....
    int a =0;

}

значит нельзя в copy constructor вызывать operator= - компилятор же сказал - не могу сгенерировать. Такой обьект должен быть non cpoyble

С>struct aa
С>{
С>    int* b;
С>    aa(int a)
С>    {
С>        b = new int(a);
С>    }
С>    ~aa()
С>    {
С>        delete b;
С>        b = 0;
С>    }
С>};

int main() 
{
    aa x(5);
    aa y(x); //утечка памяти. И даже компилятор не предупреждает...
}