在C ++中管理隐式类型转换

时间:2009-06-26 20:21:09

标签: c++ c type-conversion

我正在处理执行最近邻查询的代码。有两个简单的想法可以作为用户在搜索中查询数据的基础:

  • 最近的N指向空间中的给定点。
  • 给定距离内的所有点。

在我的代码中,Points被放入PointList,而PointList是一个容器,其工作是跟踪在搜索中找到的点。

现在我的PointList对象有一个构造函数:

PointList( unsigned int maxvals ); // #1

我想添加的下两个构造函数是:

PointList( float maxdist ); // #2
PointList( unsigned int maxvals, float maxdist ); // #3

我的问题是:我如何确保我的用户和C ++编译器生成正确的权限 PointList的构造函数,并区分构造函数1和2? 我应该只实现#3并提供定义任意大的常量 maxvals和maxdist的值是多少?另一个替代方案可能是编写另一个轻量级对象系统来管理将Points添加到列表中的逻辑,但这对于这样一个简单的想法来说就像是有点过分了。

我真的想让我的用户变得透明,他们大多是那些在没有正规教育的情况下学习过C ++的科学家。谢谢!

7 个答案:

答案 0 :(得分:6)

为什么不使用工厂方法而不是构造函数?工厂方法具有可自定义名称的优势。


static PointList createNearestValues(unsigned int maxvals) {}
static PointList createByDistance(float maxdist) {}

答案 1 :(得分:5)

整数类型的重载分辨率发生在两个类别上,可以非常粗略地概括为

  • 促销:这是从小于intintunsigned int的类型的转换,具体取决于int是否可以存储源类型的所有值。
  • 转换:这是从任何整数类型到另一个整数类型的转换。

类似地,浮点类型的转换发生在两个类别

  • 促销:这是从floatdouble
  • 的转换
  • 转换:这是从任何浮点类型到另一个浮点类型的转换

并且存在从整数到浮动或返回的转换。这被归类为转化,而不是促销。促销的排名优于转化,并且只需要促销,该情况将是首选。因此,您可以使用以下构造函数

PointList( int maxVals );
PointList( unsigned int maxVals );
PointList( long maxVals );
PointList( unsigned long maxVals );

PointList( double maxDist );
PointList( long double maxDist );

对于任何整数类型,这应该选择第一组构造函数。对于任何浮点类型,这应该选择第二组构造函数。例如,如果传递float,原始的两个构造函数很容易导致unsigned intint之间的歧义。对于另一个,两个参数构造函数,如果需要,可以使用您的解决方案。


那就是说,我也会使用工厂功能,因为我认为决定参数含义的类型是非常脆弱的。大多数人都希望以下结果相等

PointList p(floor(1.5));
PointList u((int)1.5);

但这会导致不同的事态。

答案 2 :(得分:2)

考虑使用true typedefs。您的客户端代码需要付出更多努力,但保证您的正确性。

答案 3 :(得分:1)

为第一个调用PointList(10),为第二个调用PointList(10f)。

对于第二个,您也可以使用10.0。

答案 4 :(得分:1)

如果构造函数#1和#2存在,如果您插入的值是float或int并且不应进行转换,则将调用正确的构造函数。因此,请确保您使用显式调用的数字类型(即1f和1)。 构造函数#3似乎不是一个选项,因为它不是真正必要的,只会混淆代码的用户。 如果您需要任何一个号码的默认值,您可以使用

PointList(int max, float max=VALUE)

PointList(float max, int max=VALUE)

再说一遍:在代码可读性方面,这似乎比代码更有害。

答案 5 :(得分:1)

这要求对Overload Resolution进行良好的阅读。

答案 6 :(得分:0)

我肯定会使用 显式 构造函数。在示例中,无符号整数不会隐式转换。

class A
{
public:
    explicit A(float f){}
    explicit A(int i){}
};

void test(){
    unsigned int uinteger(0);
    A a1(uinteger);        //Fails, does not allow implicit conversions

    A a2((float)uinteger); //OK, explicit conversion

    float f(0.0);
    A a3(f);               //OK

    int integer(0);
    A a4(integer);         //OK
}

错误信息很容易理解:

: error C2668: 'A::A' : ambiguous call to overloaded function
: could be 'A::A(int)'
: or       'A::A(float)'