A function is a block of code that performs some operation. A function can optionally define input parameters that enable callers to pass arguments into the function. A function can optionally return a value as output. Functions are useful for encapsulating common operations in a single reusable block, ideally with a name that clearly describes what the function does. The following function accepts two integers from a caller and returns their sum; a and b are parameters of type int.
Jul 09, 2016 How to add graphics.h in dev c - YouTube How to install WinBGIm Graphics Lib. Return Statement (C) Terminates the execution of a function and returns control to the calling function (or to the operating system if you transfer control from the main function). Execution resumes in the calling function at the point immediately following the call.
The function can be invoked, or called, from any number of places in the program. The values that are passed to the function are the arguments, whose types must be compatible with the parameter types in the function definition.
There is no practical limit to function length, but good design aims for functions that perform a single well-defined task. Complex algorithms should be broken up into easy-to-understand simpler functions whenever possible.
Functions that are defined at class scope are called member functions. In C++, unlike other languages, a function can also be defined at namespace scope (including the implicit global namespace). Such functions are called free functions or non-member functions; they are used extensively in the Standard Library.
Functions may be overloaded, which means different versions of a function may share the same name if they differ by the number and/or type of formal parameters. For more information, see Function Overloading.
Parts of a function declaration
A minimal function declaration consists of the return type, function name, and parameter list (which may be empty), along with optional keywords that provide additional instructions to the compiler. The following example is a function declaration:
A function definition consists of a declaration, plus the body, which is all the code between the curly braces:
A function declaration followed by a semicolon may appear in multiple places in a program. It must appear prior to any calls to that function in each translation unit. The function definition must appear only once in the program, according to the One Definition Rule (ODR).
The required parts of a function declaration are:
The return type, which specifies the type of the value that the function returns, or void if no value is returned. In C++11, auto is a valid return type that instructs the compiler to infer the type from the return statement. In C++14, decltype(auto) is also allowed. For more information, see Type Deduction in Return Types below.
The function name, which must begin with a letter or underscore and cannot contain spaces. In general, leading underscores in the Standard Library function names indicate private member functions, or non-member functions that are not intended for use by your code.
The parameter list, a brace delimited, comma-separated set of zero or more parameters that specify the type and optionally a local name by which the values may be accessed inside the function body.
Optional parts of a function declaration are:
constexpr, which indicates that the return value of the function is a constant value can be computed at compile time.Its linkage specification, extern or static.
For more information, see Translation units and linkage.
inline, which instructs the compiler to replace every call to the function with the function code itself. inlining can help performance in scenarios where a function executes quickly and is invoked repeatedly in a performance-critical section of code.
For more information, see Inline Functions.
A
noexceptexpression, which specifies whether or not the function can throw an exception. In the following example, the function does not throw an exception if theis_podexpression evaluates to true.For more information, see noexcept.
(Member functions only) The cv-qualifiers, which specify whether the function is const or volatile.
(Member functions only) virtual,
override, orfinal. virtual specifies that a function can be overridden in a derived class.overridemeans that a function in a derived class is overriding a virtual function.finalmeans a function cannot be overridden in any further derived class. For more information, see Virtual Functions.(member functions only) static applied to a member function means that the function is not associated with any object instances of the class.
(Non-static member functions only) The ref-qualifier, which specifies to the compiler which overload of a function to choose when the implicit object parameter (*this) is an rvalue reference vs. an lvalue reference. For more information, see Function Overloading.
The following figure shows the parts of a function definition. The shaded area is the function body.
Parts of a function definition
Function definitions
A function definition consists of the declaration and the function body, enclosed in curly braces, which contains variable declarations, statements and expressions. The following example shows a complete function definition:
Variables declared inside the body are called local variables or locals. They go out of scope when the function exits; therefore, a function should never return a reference to a local!
const and constexpr functions
Functions In Dev C++
You can declare a member function as const to specify that the function is not allowed to change the values of any data members in the class. By declaring a member function as const, you help the compiler to enforce const-correctness. If someone mistakenly tries to modify the object by using a function declared as const, a compiler error is raised. For more information, see const.
Declare a function as constexpr when the value it produces can possibly be determined at compile time. A constexpr function generally executes faster than a regular function. For more information, see constexpr.
Function Templates
A function template is similar to a class template; it generates concrete functions based on the template arguments. In many cases, the template is able to infer the type arguments and therefore it isn't necessary to explicitly specify them.
For more information, see Function Templates
Function parameters and arguments
A function has a comma-separated parameter list of zero or more types, each of which has a name by which it can be accessed inside the function body. A function template may specify additional type or value parameters. The caller passes arguments, which are concrete values whose types are compatible with the parameter list.
By default, arguments are passed to the function by value, which means the function receives a copy of the object being passed. For large objects, making a copy can be expensive and is not always necessary. To cause arguments to be passed by reference (specifically lvalue reference), add a reference quantifier to the parameter:
When a function modifies an argument that is passed by reference, it modifies the original object, not a local copy. To prevent a function from modifying such an argument, qualify the parameter as const&:
C++ 11: To explicitly handle arguments that are passed by rvalue-reference or lvalue-reference, use a double-ampersand on the parameter to indicate a universal reference:
A function declared with the single keyword void in the parameter declaration list takes no arguments, as long as the keyword void is the first and only member of the argument declaration list. Arguments of type void elsewhere in the list produce errors. For example:
Note that, while it is illegal to specify a void argument except as outlined here, types derived from type void (such as pointers to void and arrays of void) can appear anywhere the argument declaration list.
Default Arguments
The last parameter or parameters in a function signature may be assigned a default argument, which means that the caller may leave out the argument when calling the function unless they want to specify some other value.
For more information, see Default Arguments.
Function return types
A function may not return another function, or a built-in array; however it can return pointers to these types, or a lambda, which produces a function object. Except for these cases, a function may return a value of any type that is in scope, or it may return no value, in which case the return type is void.
Trailing return types
An 'ordinary' return type is located on the left side of the function signature. A trailing return type is located on the right most side of the signature and is preceded by the -> operator. Trailing return types are especially useful in function templates when the type of the return value depends on template parameters.
When auto is used in conjunction with a trailing return type, it just serves as a placeholder for whatever the decltype expression produces, and does not itself perform type deduction.
Function local variables
A variable that is declared inside a function body is called a local variable or simply a local. Non-static locals are only visible inside the function body and, if they are declared on the stack go out of scope when the function exits. When you construct a local variable and return it by value, the compiler can usually perform the named return value optimization to avoid unnecessary copy operations. If you return a local variable by reference, the compiler will issue a warning because any attempt by the caller to use that reference will occur after the local has been destroyed.
In C++ a local variable may be declared as static. The variable is only visible inside the function body, but a single copy of the variable exists for all instances of the function. Local static objects are destroyed during termination specified by atexit. If a static object was not constructed because the program's flow of control bypassed its declaration, no attempt is made to destroy that object.
Type deduction in return types (C++14)
Dev C++ 5.11
In C++14, you can use auto to instruct the compiler to infer the return type from the function body without having to provide a trailing return type. Note that auto always deduces to a return-by-value. Use auto&& to instruct the compiler to deduce a reference.
In this example, auto will be deduced as a non-const value copy of the sum of lhs and rhs.
Note that auto does not preserve the const-ness of the type it deduces. For forwarding functions whose return value needs to preserve the const-ness or ref-ness of its arguments, you can use the decltype(auto) keyword, which uses the decltype type inference rules and preserves all the type information. decltype(auto) may be used as an ordinary return value on the left side, or as a trailing return value.
The following example (based on code from N3493), shows decltype(auto) being used to enable perfect forwarding of function arguments in a return type that isn't known until the template is instantiated.
Returning multiple values from a function
There are various ways to return more than one value from a function:
Encapsulate the values in a named class or struct object. Requires the class or struct definition to be visible to the caller:
Return a std::tuple or std::pair object:
Visual Studio 2017 version 15.3 and later (available with /std:c++17): Use structured bindings. The advantage of structured bindings is that the variables that store the return values are initialized at the same time they are declared, which in some cases can be significantly more efficient. In this statement --
auto[x, y, z] = f();-- the brackets introduce and initialize names that are in scope for the entire function block.In addition to using the return value itself, you can 'return' values by defining any number of parameters to use pass-by-reference so that the function can modify or initialize the values of objects that the caller provides. For more information, see Reference-Type Function Arguments.
Function pointers
C++ supports function pointers in the same manner as the C language. However a more type-safe alternative is usually to use a function object.
It is recommended that typedef be used to declare an alias for the function pointer type if declaring a function that returns a function pointer type. For example
If this is not done, the proper syntax for the function declaration may be deduced from the declarator syntax for the function pointer by replacing the identifier (fp in the above example) with the functions name and argument list, as follows:
The preceding declaration is equivalent to the declaration using typedef above.
See also
Function Overloading
Functions with Variable Argument Lists
Explicitly Defaulted and Deleted Functions
Argument-Dependent Name (Koenig) Lookup on Functions
Default Arguments
Inline Functions
Terminates the execution of a function and returns control to the calling function (or to the operating system if you transfer control from the main function). Execution resumes in the calling function at the point immediately following the call.
Syntax
Remarks
The expression clause, if present, is converted to the type specified in the function declaration, as if an initialization were being performed. Conversion from the type of the expression to the return type of the function can create temporary objects. For more information about how and when temporaries are created, see Temporary Objects.
Dev C++ Function
The value of the expression clause is returned to the calling function. If the expression is omitted, the return value of the function is undefined. Constructors and destructors, and functions of type void,cannot specify an expression in the return statement. Functions of all other types must specify an expression in the return statement.
When the flow of control exits the block enclosing the function definition, the result is the same as it would be if a return statement without an expression had been executed. This is invalid for functions that are declared as returning a value.
A function can have any number of return statements.
Dev C++ For Windows 10
The following example uses an expression with a return statement to obtain the largest of two integers.
Example
See also
Dev C++ Online
Jump Statements
Keywords