Criar um operador não é possível na linguagem. Então o operador ~
só existirá se os designers da linguagem um dia quiserem e duvido que isto ocorra.
Alguns operadores existentes, e não todos, podem ter seu comportamento alterado em um determinado tipo - não sobrescrito. O termo usado é sobrecarga.
De qualquer forma o exemplo usado não é possível. As duas expressões não fazem sentido. Porque na linguagem o =
é o operador de atribuição (ele não pode ser sobrecarregado), no lado esquerdo dele (lvalue) não é possível usar outros operadores como foi usado.
Ainda que isto tenha sido um erro de digitação e na verdade o operador ali fosse o ==
(que pode ser sobrecarregado), o segundo exemplo não faria sentido na linguagem. E, é claro, o operador ~
não existe.
Se você quiser sobrecarregar os operadores que podem e usar no lugar correto, então eu digo para não fazer.
Você tem certeza que sabe o que está fazendo? Conhece todas implicações? Vai fazer algo útil com ele? Será intuitivo para quem vai usar? Ou seja, o programador que vai usar seu operador vai entender o que está acontecendo ali?
Pouquíssimos tipos precisam ter seus próprios operadores e eles são os que possuem equivalência na matemática. De preferência em coisas óbvias. Não é para abusar da sobrecarga de operadores. Não é para criar para qualquer coisa, não é para fazer uso criativo. Tem linguagem que optou por não ter isto justamente para evitar abuso (o que eu discordo, porque qualquer coisa pode ser abusada).
Se vai mesmo fazer isto, um bom começo é ler todo o tutorial "oficial" com muita atenção, ler a documentação, a especificação e pesquisar muito sobre o assunto.
Entenda que os operadores são estáticos. Entenda que alguns operadores podem sugerir um comportamento que exija um código específico para que tudo ocorra bem (apenas um exemplo disto).
Talvez o operador que faça mais sentido em alguns tipos é o cast implícito ou explícito. E este quase ninguém pensa. As pessoas não são tão criativas assim. Mesmo este pode ser abusado. Mas é mais comum você precisar de um operador para converter de um tipo para outro que fazer de conta que um símbolo de +
faça algo diferente, afinal este símbolo só deve ser usado para adição, de preferência numérica. Já há polêmica se deveria ser usado para texto, como é usado na linguagem. Mesmo assim há quem prefira fazer um método conversor de tipo do que usar o operador em casos não tão claros.
Outro operador onde é comum fazer sobrecarga é o da igualdade, onde já foi dito que precisa ter certeza que entende como ele funciona.
Exemplo real de uso em um tipo que faz sentido (forma extremamente simplificada):
using static System.Console;
class Complex {
private int real;
private int imaginary;
public Complex(int i, int j) {
real = i;
imaginary = j;
}
public override bool Equals(object o) => ((Complex)o).real == this.real && ((Complex)o).imaginary == this.imaginary;
public override string ToString() => string.Format("{0} + {1}i", real, imaginary);
public override int GetHashCode() => this.ToString().GetHashCode();
public static bool operator == (Complex x, Complex y) => x.Equals(y);
public static bool operator != (Complex x, Complex y) => !x.Equals(y);
public static Complex operator +(Complex x, Complex y) => new Complex(x.real + y.real, x.imaginary + y.imaginary);
}
public class Program {
public static void Main() {
var x = new Complex(10,20);
WriteLine(x);
var y = new Complex(10,20);
WriteLine(y);
var z = y;
WriteLine(z);
if (x == y) WriteLine("z igual y");
else WriteLine("x diferente y");
if (y != z) WriteLine("y diferente z");
else WriteLine("y igual z");
}
}
Veja funcionando no ideone. E no .NET Fiddle. Também coloquei no GitHub para referência futura.
Vou reforçar: quase todas as ideias que as pessoas têm para fazer sobrecarga de operador não devem ser feitas. Os melhores lugares onde ele cabia já foi feito na linguagem.