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()。

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

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

摆脱歧义太难了。它可以很容易地将其解释为直接 [] 访问，或强制转换为浮点*，然后是数组索引。

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

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

Answer 3

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