Im Grunde suche ich eine Möglichkeit, mit der ich einem Typen mit vielen Operatoren (das ist in meinem konkreten Fall eine Klasse, kann aber durchaus auch als z.b. int angesehen werden) typedef en kann aber so dass die neuen Typen nicht impizit in den alten geschweige denn in sich gegenseitig konvertierbar sind.
Formal etwa so:

struct ManyOperators
{
	...
};

typedef ManyOperators A;
typedef ManyOperators B;
typedef ManyOperators C;

int main()
{
	ManyOperators m;
	A a;
	B b;
	C c;

	m = m; // Ok
	a = a; // Ok

	m = a; // Fehler
	c = b; // Fehler
}

Danke im Voraus.

Opaque Typedefs gibts nicht als Sprachfeature

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3515.pdf