为什么指向int的指针转换为void*但指向函数的指针转换为bool？

Question

C++草案标准(N3337)有关于指针转换的以下内容:

4.10指针转换

2类型的右值"指针CV T ",其中T是对象类型,可被转化为式的一个右值"指针CV void ".一个"指针转换的结果CV T "发送给"指针CV void "指向类型对象T所在的存储位置的起始位置,就好像该对象是类型最派生的对象(1.8)T(即不是基类子对象).

和

4.12布尔转换

1算术,枚举,指针或指向成员类型的指针的右值可以转换为类型的右值bool.零值,空指针值或空成员指针值转换为false; 任何其他值都转换为true

基于以上所述,将函数指针或指针转换int为a void*也是完全可以的bool.

但是,考虑到两者的选择,指针应该转换为哪一个？

然后,为什么指向函数的指针转换为a bool和指向int转换为void*？的指针？

程序:

#include <iostream>
using namespace std;

void foo(const void* ptr)
{
   std::cout << "In foo(void*)" << std::endl;
}

void foo(bool b)
{
   std::cout << "In foo(bool)" << std::endl;
}

void bar()
{
}

int main()
{
   int i = 0;
   foo(&bar);
   foo(&i);
   return 0;
}

输出,使用g ++ 4.7.3:

In foo(bool)
In foo(void*)

Answer 1

基于以上所述,将函数指针或指针转换int为a void*也是完全可以的bool.

引号指出可以将指向对象的指针转换为cv void *.函数不是对象,这会使转换失去资格cv void *,只留下bool.

但是,考虑到两者的选择,指针应该转换为哪一个？

它应该转换为const void *结束bool.为什么？那么,准备以超载分辨率开始的旅程(§13.3[over.match]/2).当然,重点是我的.

但是,一旦确定了候选函数和参数列表,在所有情况下,最佳函数的选择都是相同的:

- 首先,选择候选函数的子集(具有适当数量的参数并满足某些其他条件的函数)以形成一组可行函数(13.3.2).

- 然后根据将每个参数与每个可行函数的相应参数匹配所需的隐式转换序列(13.3.3.1)来选择最佳可行函数.

那么这些隐式转换序列呢？

让我们跳到§13.3.3.1[over.best.ics]/3,看看隐含的转换序列是什么:

格式良好的隐式转换序列是以下形式之一:
- 标准转换序列(13.3.3.1.1),
- 用户定义的转换序列(13.3.3.1.2),或
- 省略号转换序列(13.3) .3.1.3).

我们对标准转换序列感兴趣.让我们跳转到标准转换序列(§13.3.3.1.1[over.ics.scs]):

1表12总结了第4章中定义的转换,并将它们分为四个不相交的类别:左值转换,资格调整,促销和转换.[注意:这些类别与值类别,cv限定和数据表示正交:左值变换不会更改类型的cv限定或数据表示; 资格调整不会更改类型的值类别或数据表示; 促销和转化不会更改该类型的价值类别或cv资格. - 结束说明]

2 [注意:如第4章所述,标准转换序列是身份转换本身(即无转换)或由其他四个类别中的一到三次转换组成.

重要的部分在/ 2.允许标准转换序列是单个标准转换.这些标准转换列于表12中,如下所示.请注意,指针转换和布尔转换都在那里.

从这里开始,我们学到了一些重要的东西:指针转换和布尔转换具有相同的等级.请记住,当我们前往排序隐式转换序列时(§13.3.3.2[over.ics.rank]).

看看/ 4,我们看到:

标准转化顺序按其排名排序:完全匹配是比促销更好的转化,这是一种比转化更好的转化.除非符合以下规则之一,否则具有相同等级的两个转换序列无法区分:

- 不将指针,指向成员的指针或std :: nullptr_t转换为bool的转换优于转换为bool的转换.

我们以非常明确的陈述形式找到了答案.万岁!