C++ Оператор Неоднозначность

Простите меня, потому что я довольно новичок в С++, но у меня возникают некоторые проблемы с неопределенностью оператора. Я думаю, что это зависит от компилятора, для кода, скомпилированного на моем рабочем столе. Однако он не может скомпилироваться на моем ноутбуке. Я думаю, что знаю, что происходит не так, но я не вижу в нем элегантного пути. Пожалуйста, дайте мне знать, если я сделаю очевидную ошибку. Во всяком случае, вот что я пытаюсь сделать:

Я создал собственный векторный класс Vector4, который выглядит примерно так:

class Vector4
{
 private:
   GLfloat vector[4];
 ...
}

Тогда у меня есть эти операторы, которые вызывают проблему:

operator GLfloat* () { return vector; }

operator const GLfloat* () const { return vector; }

GLfloat& operator [] (const size_t i) { return vector[i]; }

const GLfloat& operator [] (const size_t i) const { return vector[i]; }

У меня есть оператор преобразования, так что я могу передать экземпляр моего класса Vector4 в glVertex3fv, и у меня есть подписка по понятным причинам. Однако вызовы, которые связаны с подписчиками Vector4, становятся двусмысленными для компилятора:

enum {x, y, z, w}
Vector4 v(1.0, 2.0, 3.0, 4.0);

glTranslatef(v[x], v[y], v[z]);

Вот кандидаты:

candidate 1: const GLfloat& Vector4:: operator[](size_t) const
candidate 2: operator[](const GLfloat*, int) <built-in>

Почему он попытается преобразовать мой Vector4 в GLfloat * сначала, когда оператор индекса уже определен на Vector4? Есть ли простой способ обойти это, не связанное с приведением типов? Я просто делаю глупую ошибку? Спасибо за любую помощь заранее.

Ответы

Ответ 1

Это объясняется в книге "С++ Templates - The Complete Guide". Это потому, что ваш оператор [] принимает size_t, но вы передаете другой тип, который сначала должен пройти неявное преобразование в size_t. С другой стороны, оператор преобразования также может быть выбран, а возвращаемый указатель может быть индексом. Таким образом, существует двусмысленность. Решение - отказаться от оператора преобразования. Как правило, их следует избегать, поскольку они просто вводят проблемы, как вы видите.

Предоставить функцию-член begin и end, которая возвращает vector и vector + 4 соответственно. Затем вы можете использовать v.begin(), если хотите перейти к встроенным функциям openGL.

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

struct Vector4 {
    // some of container requirements
    typedef GLfloat value_type;
    typedef GLfloat& reference;
    typedef GLfloat const& const_reference;

    typedef GLfloat * iterator;
    typedef GLfloat const * const_iterator;

    typedef std::ptrdiff_t difference_type;
    typedef std::size_t size_type;

    static const size_type static_size = 4;

    // returns iterators to the begin and end
    iterator begin() { return vector; }
    iterator end() { return vector + size(); }

    const_iterator begin() const { return vector; }
    const_iterator end() const { return vector + size(); }

    size_type size() const { return static_size; }
    size_type max_size() const { return static_size; }

    void swap(Vector4 & that) {
        std::swap(*this, that);
    }

    // some of sequences
    reference operator[](size_type t) { return vector[t]; }
    const_reference operator[](size_type t) const { return vector[t]; }

    // specific for us. returns a pointer to the begin of our buffer.
    // compatible with std::vector, std::array and std::string of c++1x
    value_type * data() { return vector; }
    value_type const* data() const { return vector; }

    // comparison stuff for containers
    friend bool operator==(Vector4 const&a, Vector4 const&b) {
        return std::equal(a.begin(), a.end(), b.begin());
    }
    friend bool operator!=(Vector4 const&a, Vector4 const&b) { return !(a == b); }
    friend bool operator<(Vector4 const&a, Vector4 const&b) {
        return std::lexicographical_compare(a.begin(), a.end(), b.begin(), b.end());
    }
    friend bool operator> (Vector4 const&a, Vector4 const&b) { return b < a;    }
    friend bool operator<=(Vector4 const&a, Vector4 const&b) { return !(b < a); }
    friend bool operator>=(Vector4 const&a, Vector4 const&b) { return !(a < b); }

private:
    GLfloat vector[4];
}

Ответ 2

Слишком сложно избавиться от двусмысленности. Он может легко интерпретировать его как прямой доступ [] или cast-to-float *, за которым следует индексирование массива.

Мой совет - отказаться от оператора GLfloat *. Он просто просит, чтобы у него были неявные броски, чтобы плавать таким образом. Если вы должны получить доступ к поплавкам напрямую, сделайте метод get() (или другое имя по вашему выбору) Vector4, который возвращает указатель на необработанные поплавки внизу.

Другой случайный совет: вместо того, чтобы изобретать свои собственные векторные классы, вы должны использовать отличные в пакете "IlmBase", который является частью OpenEXR

Ответ 3

Почему вы передаете "const size_t" оператору []?