Nano Hash - криптовалюты, майнинг, программирование

Шаблон С++, как перегрузить оператор и получить доступ к частной собственности

В настоящее время я пытаюсь реализовать простой связанный список на основе шаблона, который принимает общую пару ключ/значение в С++ 11. Элементы должны быть добавлены в список оператором +=. Код выглядит следующим образом:

список

// Forward declarations
template<typename K, typename V>
class list;

template<typename K, typename V>
list<K, V> &operator+=(list<K, V> &list, const std::tuple<K, V> ele) {
    if (!list.head) {
        // list is empty
        list.head = new element(ele, nullptr);
    }

    return list;
};

// Class definition
template<typename K, typename V>
class list {
private:
    struct element {
        const K key;
        const V value;
        element *next;

        element(const std::tuple<K, V> tuple, element *ele) :
                key(std::get<0>(tuple)),
                value(std::get<1>(tuple)),
                next(ele) { }
    };

    element *head = nullptr;

public:
    friend list<K, V> &operator+=<>(list<K, V> &list, const std::tuple<K, V> ele);
};

Я не могу заставить это скомпилировать. Должен ли я помещать реализацию оператора в предварительное объявление или в сам класс? Если я поместил это в предварительную декларацию, как во фрагменте, я не могу использовать «list.head = новый элемент (ele, nullptr);». Ошибка: ожидаемый спецификатор типа перед элементом

Если я помещу его в сам класс, я не смогу получить доступ к list.head, даже если это друг.

c++ templates overloading operator-keyword friend
15.11.2017

Ответы:


1

Вы должны просто оставить объявление шаблона функции перед определением шаблона класса (после прямого объявления), чтобы сообщить компилятору, что operator+=, указанный в объявлении друга, является шаблоном. Тогда определите его позже. например

// Forward declarations
template<typename K, typename V>
class list;

// declaration of function template
template<typename K, typename V>
list<K, V> &operator+=(list<K, V> &l, const std::tuple<K, V> ele);

// Class definition
template<typename K, typename V>
class list {
    ...
    friend list<K, V> &operator+=<>(list<K, V> &l, const std::tuple<K, V> ele);
};

// definition of function template
template<typename K, typename V>
list<K, V> &operator+=(list<K, V> &l, const std::tuple<K, V> ele) {
    if (!l.head) {
        // list is empty
        l.head = new typename list<K, V>::element(ele, nullptr);
    }

    return l;
}

PS:

  1. Не называйте параметр именем list, которое конфликтует с именем шаблона класса list.

  2. element является вложенной структурой, в operator+= вы должны указать ее как typename list<K, V>::element.

  3. Использование имени list (то же, что и std::list) не очень хорошая идея.

ПРЯМОЙ ЭФИР

15.11.2017
  • Спасибо, это помогает. Но зачем мне предварительное объявление И объявление в классе? 15.11.2017
  • @octavio Чтобы сообщить компилятору, что operator+=, указанный в объявлении друга, является шаблоном. 15.11.2017
    • Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..