[design patterns] обход AST: visitor или виртуальные методы?

>>В яве (вроде?) нет формального определения NotNullable<T>

http://robaustin.wikidot.com/annotations-and-notnull

Как они думают делать контейнеры для хранения своего муляжа NotNullable<T>? Или типа «в контейнер будет лежать просто Т, а насчет NotNullable<T> — уж как повезет»?

Как хорошо, что ты не входишь в WG21.

визитор — это реализация double dispatch средствами single dispatch, через коллбеки. Оно будет не нужно с нормальными generic методами и нормальным мультидиспатчем. «Визитор может сломаться» и означает, что пытаются запихнуть более многомерную диспетчеризацию в одномерную.

Мультиметоды это классно, но их почти нигде нет. Я не спорю, что визитор это кривой костыль, прикрывающий отсутствие мультиметодов.

Это можно реализовать на любом ЯП если я правильно понял.

Как они думают делать контейнеры для хранения своего муляжа NotNullable<T>

Очень просто - так же как из любой коллекции легко сделать синхронизируемую,

newList = Collections.synchronizedList(notSynchronisedList)

Так же и для не-хранящего-наллы:

newList = notNullList(anyList)

notNullList пишется за пару минут.

Идея в том, чтобы ЯП реализовывал это сам, а ты, как дурак, писал бы прагмы на каждый метод.

не понял. Написать метод проверяющий что ссылка не null очень просто. и зачем их делать несколько непонятно. Или такая аннтоация бы автоматически его вызывала? А статические ворнинги можно выдавать при помощи аннотаций из 6 джавы/

> не понял.

Это не ко мне, это к Влору.

> Это не ко мне, это к Влору.

Ты похоже ничего не понял.

З.Ы. уж если бы критиковать мое предложение, то за тормозность исключений.

То есть, херачить прагму - это такой бест практайсес?

мы ее захерачим ровно в одном месте — в функции

template<class T> T& to_reference(const T* arg)
{
  if(!arg) throw NULL_POINTER;
  return *arg;
}

Ты, я надеюсь, понимаешь, что сама идея «вызывать функцию» для преобразования указателя к ссылке бредова донельзя?