C ++模棱两可的重载和默认构造函数

Question

我有一个程序，其代码可以完美地运行，但是编译器仍然会输出以下令人讨厌的警告：

warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:

我的程序的简化版本是：

#include <iostream>
#include <iomanip>

class point
{
public:
    point( int x = 0, int y = 0 )

    :   _x( x ), _y( y )
    {}

    point( const point &p )
    :   _x( p._x ), _y( p._y )
    {}

    int &   x( )    {   return _x;  }
    int &   y( )    {   return _y;  }

private:
    int _x, _y;
};

class matrix
{
public:
    int operator()( int x, int y )  const
    {   return _array[ index( x, y ) ]; }

    int operator()( point< int > p )        const
    {   return operator()( p.x( ), p.y( ) );    }

    int operator()( int x, int y, int value )
    {
        _array[ index( x, y ) ] = value;
        return _array[ index( x, y ) ];
    }

    int operator()( point< int > p, int value )
    {   return operator()( p.x( ), p.y( ), value ); }

private:
    int _array[ 4 * 5 ];

    int index( int x, int y )   const
    {   return y * Width + x;   }
};

int main( )
{
    std::cout << "Filling matrix." << std::endl;
    matrix< int, 4, 5 > m;

    for ( int y = 0; y < 5; ++y )
        for ( int x = 0; x < 4; ++x )
        {
            m( x, y, ( y * 4 + x ) );
        }

    std::cout << "Reading matrix." << std::endl;

    for ( int y = 0; y < 5; ++y )
    {
        std::cout << std::endl << "|";

        for ( int x = 0; x < 4; ++x )
        {
            std::cout << std::setw( 3 ) << std::setfill( ' ' ) << m( x, y ) << " |";
        }
    }

    std::cout << std::endl << "Done." << std::endl;
}

我看不到operator()重载有什么问题。 有任何想法吗？

Answer 1

好，

我花了一些时间弄清楚此警告的实际原因。 由于我的程序运行良好，所以直到今天我都忽略了该警告，并且认为共享它很有用，这样世界各地的其他人可以节省一些时间。

在对operator()构造进行了很多修改之后，我决定进行一个向上的研究，想知道为什么我的编译器会将单个值与一个point混淆，并将第二个参数作为value 。

而且我发现我已经为我的point构造函数延迟添加了默认值，因此我也可以将其用作默认构造函数。 当我添加此默认值时，我没有注意到任何人都可以通过仅省略第二个参数来使用此构造函数，这导致了我的错误。

**疏忽的危险！ **

只是为了好笑，我改变了我的构造函数如下：

#ifdef  AMBIGUOUS
    point( int x = 0, int y = 0 )
#else
    point( )
    : point( 0, 0 ) {}

    point( int x, int y )
#endif

然后，我可以尝试使用以下解决方案进行清理：

> g++ ambig_param.cpp -o ambig_param -Wall -std=c++14

好。 稍后编译时没有问题：

> g++ ambig_param.cpp -o ambig_param -Wall -std=c++14 -DAMBIGUOUS
ambig_param.cpp: In function ‘int main()’:
ambig_param.cpp:68:66: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
    std::cout << std::setw( 3 ) << std::setfill( ' ' ) << m( x, y ) << " |";
                                                                  ^
ambig_param.cpp:27:4: note: candidate 1: T matrix<T>::operator()(T, T) const [with T = int]
  T operator()( T x, T y ) const
    ^~~~~~~~
ambig_param.cpp:39:4: note: candidate 2: T matrix<T>::operator()(point<int>, T) [with T = int]
  T operator()( point< int > p, T value )
    ^~~~~~~~

我希望有一天能对某人有所帮助。