C++ 运算符歧义

Question

请原谅我，因为我对 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 上定义时，为什么它会首先尝试将我的 Vector4 转换为 GLfloat*？ 有没有一种不涉及类型转换的简单方法来解决这个问题？ 我只是犯了一个愚蠢的错误吗？ 感谢您提前提供的任何帮助。

Answer 1

《C++ 模板 - 完整指南》一书中对此进行了解释。 这是因为你的operator[]接受size_t，但是你传递了一个不同的类型，它首先必须经历到size_t的隐式转换。 另一方面，也可以选择转换运算符，然后返回的指针可以是下标。 所以存在歧义。 解决方案是删除转换运算符。 通常应该避免它们，因为它们只会带来问题，如您所见。

提供一个 begin 和 end 成员函数，分别返回 vector 和 vector + 4。 然后，如果您想传递给本机 openGL 函数，则可以使用 v.begin()。

评论里有点混乱。 我想我现在会更新这个答案以反映最新的概念。

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];
}

Answer 2

摆脱歧义太难了。 它可以轻松地将其解释为直接 [] 访问，或转换为 float* 后跟数组索引。

我的建议是放弃运算符 GLfloat*。 让隐式强制转换以这种方式浮动只是自找麻烦。 如果必须直接访问浮点数，请为 Vector4 创建一个 get() （或您选择的其他名称）方法，该方法返回指向下面的原始浮点数的指针。

其他随机建议：您应该使用“IlmBase”包中的优秀矢量类，而不是重新发明自己的矢量类，该包是 OpenEXR

Answer 3

为什么要将“const size_t”传递给operator[]？