Delphi vs C++ vs C# , ну и Java немножко, где-то ближе к старшему байту номеров страниц

Цитата MyNameIsIgor @ 15.11.11, 06:13

А что бы случилось, если бы они посчитали это нужным?

Вы смогли бы написать

foreach(var w in words)
  words_count[w]++;

только вместо int пришлось бы юзать какой-нибудь int-box

korvin, т.е. вы либо думать не хотите, либо просто дурачка включили.
В таком случае класс словаря был бы описан как-то так

class Dictionary<TKey, TValue> where TValue : new()

Естественно, это слишком жёсткое ограничение. Так что fail.

Цитата MyNameIsIgor @ 15.11.11, 06:40

korvin, т.е. вы либо думать не хотите, либо просто дурачка включили.
В таком случае класс словаря был бы описан как-то так

class Dictionary<TKey, TValue> where TValue : new()

Естественно, это слишком жёсткое ограничение. Так что fail.

чего? какое еще ограничение?

Цитата korvin @ 15.11.11, 06:56

чего? какое еще ограничение?

Ну, а как вы собрались создавать пару, не гарантировав компилятору, что у TValue есть конструктор по умолчанию?

Вы можете нормально объяснить, в чем у Вас проблема?

Цитата korvin @ 15.11.11, 06:58

Вы можете нормально объяснить, в чем у Вас проблема?

Напишите работающий дженерик вида

template<class T>
class A
{
public:
  T foo() { return T(); }
};

И да, я объясняю нормально. Не желающие понимать могут проваливать - я никого не держу.

Цитата MyNameIsIgor @ 15.11.11, 06:40

Естественно, это слишком жёсткое ограничение. Так что fail.

Но если нужно - можно сделать соответствующий, специализированный словарь, с таким вот ограничением. У вас ведь ++ тоже не для всех специализаций работает.

Цитата IL_Agent @ 15.11.11, 07:06

Но если нужно - можно сделать соответствующий, специализированный словарь, с таким вот ограничением.

Что неудобно.

Цитата IL_Agent @ 15.11.11, 07:06

У вас ведь ++ тоже не для всех специализаций работает.

А здесь нет никаких специализаций.

Цитата MyNameIsIgor @ 15.11.11, 06:58

Ну, а как вы собрались создавать пару, не гарантировав компилятору, что у TValue есть конструктор по умолчанию?

пусть этим занимается хеш

abstract class MyHashMap<K, V> extends HashMap<K, V> {
    abstract protected V makeDefault();
    public V get(K key) {
        if(containsKey(key)) {
            return super.get(key);
        } else {
            V value = makeDefault();
            put(key, value);
            return value;
        }
    }
}
 
public class MyHashMapTest {
   public static void main(String[] args) {
       Map<String, Integer> map = new MyHashMap<>() {
           protected Integer makeDefault() { return 0; }
       };
   }
}

Добавлено 15.11.11, 07:32
можно даже так:

interface Factory<A> {
    A make();
}
 
class IntegerFactory implements Factory<Integer> {
    public Integer make() { return 0; }
}
 
class MyHashMap<K, V, F extends Factory<V>> extends HashMap<K, V> {
    private final F factory;
    public MyHashMap(F factory) { this.factory = factory; }
    public V get(K key) {
        if(containsKey(key)) {
            return super.get(key);
        } else {
            V value = factory.make();
            put(key, value);
            return value;
        }
    }
}
 
public class MyHashMapTest {
   public static void main(String[] args) {
       Map<String, Integer> map = new MyHashMap<>(new IntegerFactory());
   }
}

Добавлено 15.11.11, 07:38

Цитата MyNameIsIgor @ 15.11.11, 07:02

Напишите работающий дженерик вида

template<class T>
class A
{
public:
  T foo() { return T(); }
};

И да, я объясняю нормально. Не желающие понимать могут проваливать - я никого не держу.

гарантия наличия конструкторов по-умолчанию не имеет отношения к дженерикам/шаблонам. если б джава давала такие гарантии, то и проблемы с написанием такого дженерика не было б вообще никаких.

Сообщение отредактировано: korvin - 15.11.11, 07:38

Цитата korvin @ 15.11.11, 07:22

пусть этим занимается хеш

И где реализация метода abstract protected V makeDefault() ?

Цитата korvin @ 15.11.11, 07:22

гарантия наличия конструкторов по-умолчанию не имеет отношения к дженерикам/шаблонам.

Имеет. Дженериком нужна такая гарантия. Шаблонам она не нужна пока мы об этом не попросим.

Цитата korvin @ 15.11.11, 07:22

если б джава давала такие гарантии, то и проблемы с написанием такого дженерика не было б вообще никаких.

Шарп может дать. Но подобный словарь был бы ущербным.

Добавлено 15.11.11, 07:50

Цитата korvin @ 15.11.11, 07:22

можно даже так:

Матерь Божья, как же много слов...

Цитата MyNameIsIgor @ 15.11.11, 07:49

И где реализация метода abstract protected V makeDefault()?

Map<String, Integer> map = new MyHashMap<>() {
    protected Integer makeDefault() { return 0; } // <- вот же
};

Как это мило, задавать для каждого словаря фабрику или метод создания Value

Цитата MyNameIsIgor @ 15.11.11, 07:49

Имеет. Дженериком нужна такая гарантия. Шаблонам она не нужна пока мы об этом не попросим.

чего бы это вдруг она им нужна? и как обычно в C++ придется писать обертку, если у нужного нам класса нет конструктора по-умолчанию

Цитата korvin @ 15.11.11, 08:03

чего бы это вдруг она им нужна?

Потому что они компилируются сразу в код, а не инстанцируются для аргументов.

Цитата korvin @ 15.11.11, 08:03

и как обычно в C++ придется писать обертку, если у нужного нам класса нет конструктора по-умолчанию

Только если мы захотим использовать индексацию. Если не захотим, то не используем - и всё работает.

Цитата MyNameIsIgor @ 15.11.11, 08:03

Как это мило, задавать для каждого словаря фабрику или метод создания Value

зачем для каждого? если вам не на один раз, опишите класс

class MyIntegerHashMap<K> extends MyHashMap<K, Integer> {
    protected Integer makeDefault() { return 0; }
}

опять надуманные проблемы?

Добавлено 15.11.11, 08:10

Цитата MyNameIsIgor @ 15.11.11, 07:49

Шарп может дать. Но подобный словарь был бы ущербным.

почему же ущербным?

Цитата MyNameIsIgor @ 15.11.11, 07:49

Матерь Божья, как же много слов...

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