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

定义具有不同签名的函数

language-lawyer c++

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

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

// 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 回复 | 直到 15 年前

BenMorel Manish Pradhan 12 年前

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

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

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

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

Daniel Daranas 15 年前

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

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

推荐文章

Paul J. Lucas · _C中任意大小的原子结构体赋值?

1 年前

ä½å½è¯ · 如果在命名空间中声明的枚举是在命名空间之外定义的,那么它的枚举值在外部可见吗?

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Thomas Weller · 我在这里有什么样的UB,删除运算符new[]的数组?

1 年前

user17732522 · 使用显式默认构造函数从空大括号复制列表初始化

1 年前

nore · 为什么C标准禁止在源文件末尾使用部分预处理令牌?

1 年前

user17732522 · C中是否允许以命名返回值优化的形式进行复制省略?

1 年前

cppBeginner · 从lambda函数中获取constexpr变量是可以的,但当这样的语句位于新的lambda中时,编译失败(Visual C++)和编译失败(gcc)是可以的

2 年前

Gene · 是否允许使用受约束的别名模板?

2 年前

yg-i · C的“基本执行字符集”中的字符总数究竟是多少?

2 年前