Есть. а -> в C и C ++ неужели операторы?

вас, вероятно, учили, сами выучили. и -> операторы , которые извлекают элементы структуры (C) или класса (C ++).

Однако я сомневаюсь, что они операторы - потому что, если они операторы, каковы их типы ввода? Кроме того, идентификаторы на обеих сторонах взаимозависимы - функция, которой, например, не хватает оператора +.

Если это правильно - в каком смысле они все еще обозначаются как операторы на практике и каково их формальное определение в отношении теория языка.