代码之家 › 专栏 › 技术社区 › BÐÐ¾Ð²Ð¸Ñ

定义具有不同签名的函数

language-lawyer c++

BÐÐ¾Ð²Ð¸Ñ · 技术社区 · 14 年前

今天,我发现可以用一个签名在头中声明一个函数,并用不同的(类似的)签名在源文件中实现它。例如,如下所示:

// THE HEADER  example.hpp

#ifndef EXAMPLE_HPP
#define EXAMPLE_HPP

int foo( const int v );

#endif

// THE SOURCE FILE example.cpp

#include "example.hpp"

int foo( int v )   // missing const
{
  return ++v;
}

这是允许的吗?或者这是编译器的扩展(我使用的是g++4.3.0)?

编辑我正在用学究式的和尽可能大的警告级别编译,我仍然没有得到警告或错误。

2 回复 | 直到 14 年前

BenMorel Sonaten 10 年前

为了确定函数签名,任何顶层 const 忽略限定符。这是因为它不影响函数调用方。函数参数在任何情况下都是按值传递的,因此函数不能影响传入的参数。

最高层 常量 会影响函数体。它确定是否可以在函数体中更改参数。不过,它的功能与声明相同。

所以是的,它是合法的,声明和定义引用的是相同的函数,而不是重载。

标准参考:8.3.5[dcl.fct]/3:“[…]函数的类型是使用以下规则确定的。[…]任何 简历限定符 修改参数类型将被删除。[…]如此 简历限定词 仅影响函数体中参数的定义;它们不影响函数类型。[...]"

Daniel Daranas 14 年前

自从内景是基本值类型,const修饰符在这里没有任何效果。无论在函数中对int做什么,调用方都不会看到它。

你不能这样做 内部; . 在这种情况下,const的存在或不存在对调用者来说确实很重要,因为 所指的int 可以修改。

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前