Пространства имён
Варианты
Действия

Declaring functions

Материал из cppreference.com
< cpp‎ | language

 
 
Язык С++
Общие темы
Управление программой
Операторы условного выполнения
Операторы повторения
Операторы перехода
Функции
объявление функции
объявление лямбда-функции
шаблон функции
спецификатор inline
спецификаторы исключений (устарело)
спецификатор noexcept (C++11)
Исключения
Пространства имён
объявление пространства имён
псевдонимы пространства имён
Типы
типы-объединения
функциональные типы
спецификатор decltype (C++11)
Спецификаторы
cv-спецификаторы
спецификаторы продолжительности хранения
спецификатор constexpr (C++11)
спецификатор auto (C++11)
спецификатор alignas (C++11)
Инициализация
Литералы
Выражения
Утилиты
Типы
typedef-объявление
объявление псевдонима типа (C++11)
атрибуты (C++11)
Приведения типов
неявные преобразования
const_cast-преобразование
static_cast-преобразование
dynamic_cast-преобразование
reinterpret_cast-преобразование
C-подобное и функциональное приведение типов
Выделение памяти
Классы
Особые свойства классовых функций
Специальные функции-члены
Шаблоны
шаблон класса
шаблон функции
специализация шаблона
упакованные параметры (C++11)
Разное
Ассемблерные вставки
 
Объявление функции вводит имя функции и ее тип. Он может появиться в любой области, и обычно помещают в заголовок файла.
Оригинал:
A function declaration introduces the function name and its type. It may appear in any scope, and is commonly placed in header files.
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
ret name ( params ) ; (1)
ret name ( params ) cv ref except attr ; (2)
auto name ( params ) cv ref except attr -> ret ; (3) (начиная с C++11)
Определение функции обеспечивает тело функции. Она может появиться только в пространстве имен или класса сферу.
Оригинал:
A function definition provides the body of a function. It may only appear in namespace or class scope.
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
decl name ( params ) { body } (4)
attr decl name ( params ) cv ref except attr virt try init-list { body } catch (5)
attr decl name ( params ) cv ref except attr -> ret virt try init-list { body } catch (6) (начиная с C++11)
attr decl name ( params ) cv ref except attr virt = 0 ; (7)
attr decl name ( params ) cv ref except attr virt = default ; (8) (начиная с C++11)
attr decl name ( params ) cv ref except attr virt = delete ; (9) (начиная с C++11)

[править] Объяснение

1)
Типичное объявление функции
Оригинал:
Typical function declaration
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
2)
Всеобъемлющее декларации функции
Оригинал:
Comprehensive function declaration
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
3)
Всеобъемлющее объявление функции с задней возвращаемого типа
Оригинал:
Comprehensive function declaration with trailing return type
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
4)
Типичные, не являющихся членами определение функции
Оригинал:
Typical non-member function definition
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
5)
Всеобъемлющее определение функции
Оригинал:
Comprehensive function definition
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
6)
Всеобъемлющее определение функции с задней возвращаемого типа
Оригинал:
Comprehensive function definition with trailing return type
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
7)
Чисто виртуальные функции-члена
Оригинал:
Pure virtual member function
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
8)
Дефолтным функции-члена
Оригинал:
Defaulted member function
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
9)
Удаленные функции-члена
Оригинал:
Deleted member function
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
attr(C++11) -
Дополнительно последовательность из любого количества Функция атрибутов, таких как [[noreturn]] или [[carries_dependency]]. Может появиться как до, так и после имени функции
Оригинал:
Optional sequence of any number of Функция атрибутов, such as [[noreturn]] or [[carries_dependency]]. May appear both before and after the function name
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
ret -
Тип, возвращаемый функцией, может быть void если функция ничего не возвращает. Не может быть массив или функцию типа, хотя может быть указатель или ссылка на таковую. Обязательный для всех функций, кроме конструкторов, деструкторы и операторы преобразования, которые не должны обеспечить возврат типа .
Оригинал:
the type returned by the function, may be void if the function returns nothing. Cannot be array or function type, although can be a pointer or reference to such. Required for all functions except constructors, destructors, and conversion operators, which must not provide a return type.
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
decl -
Декларация спецификатор последовательность, которая состоит ни одного или некоторых из следующих ключевых слов: статических, внешний, встроенный, virtual, explicit, friend, КонстВыраж, в сочетании с типом возвращаемого значения, ret
Оригинал:
declaration specifier sequence, which consists of none or some of the following keywords: статических, внешний, встроенный, virtual, explicit, friend, КонстВыраж, combined with the return type, ret
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

{{par | cv |{{tr| Дополнительно const, volatile, или const volatile, применимо только к не-статические функции-члены. Для функции-члена класса T, типа [[CPP / язык / это| Optional const, volatile, or const volatile, only applicable to non-static member functions. For a member function of class T, the type of the [[cpp/language/this}}|this pointer]] will be const T*, volatile T*, or const volatile T* respectively. A member function declared const cannot modify members of *this.}}

ref(C++11) -
Дополнительно & или &&, применимо только к нестатические функции-члены, кроме конструкторов и деструкторов. Для члена функции T класса, типа неявного параметра объекта с целью разрешения перегрузки будет T& или T&& соответственно: && квалифицированный член функции может быть вызван только для выражения объекта RValue
Оригинал:
Optional & or &&, only applicable to non-static member functions other than constructors or destructors. For a member function of class T, the type of the implicit object parameter for the purpose of overload resolution will be T& or T&& respectively: a &&-qualified member function can only be called on an rvalue object expression
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
except -
либо динамического исключения спецификации или noexcept-спецификации
Оригинал:
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
virt(C++11) -
Дополнительно override или final, применимо только к не-статические функции-члены
Оригинал:
Optional override or final, only applicable to non-static member functions
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
->ret(C++11) -
Трейлинг возвращаемого типа, применяется только в случае ret является auto. Полезно, если тип зависит от аргументов имена, такие как template <class T, class U> auto add(T t, U u) -> decltype(t + u); или сложные, например, в auto fpif(int)->int(*)(int)
Оригинал:
Trailing return type, only applicable if ret is auto. Useful if the type depends on argument names, such as template <class T, class U> auto add(T t, U u) -> decltype(t + u); or is complicated, such as in auto fpif(int)->int(*)(int)
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
init-list -
Список инициализации конструктора, используется только в конструкторах
Оригинал:
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
try -
Дополнительный блок попытки функции. Если они присутствуют, catch должны быть обеспечены
Оригинал:
Optional function try block. If present, catch must be provided
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
catch -
Дополнительно последовательность поймать-блоки, применимо только из try используется .
Оригинал:
Optional sequence of поймать-блоки, only applicable of try is used.
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
body -
В теле функции (возможно, пустой) составного оператора
Оригинал:
The body of the function, a (possibly empty) compound statement
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
params -
Список параметров
Оригинал:
The list of parameters
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.


[править] Пример 1: не являющегося членом функции

#include <iostream>
#include <string>
 
// declaration in namespace(file) scope
// (the definition is provided later)
int f1();
 
// simple function with a default argument, returning nothing
void f0(const std::string& arg = "world") {
    std::cout << "Hello, " << arg << '\n';
}
 
// function returning a pointer to f0
auto fp11() -> void(*)(const std::string&) {
    return f0;
}
 
// function returning a pointer to f0, pre-C++11 style
void (*fp03())(const std::string&) {
    return f0;
}
 
int main()
{
    f0();
    fp11()("test");
    fp03()("again");
    int f2(std::string); // declaration in function scope
    std::cout << f2("bad12") << '\n';
}
 
// simple non-member function returning int
int f1() {
    return 42;
}
 
// function with an exception specification and a function try block
int f2(std::string str) noexcept try {
    return std::stoi(str);
} catch(const std::exception& e) {
    std::cerr << "stoi() failed!\n";
    return 0;
}

Вывод:

Hello, world
Hello, test
Hello, again
stoi() failed!
0


[править] Пример 2: функции-члены

#include <iostream>
#include <string>
#include <utility>
#include <exception>
 
struct S {
    int data;
 
    // simple converting constructor (declaration)
    S(int val);
 
    // simple explicit constructor (declaration)
    explicit S(std::string str);
 
    // const member function (definition)
    virtual int getData() const { return data; }
 
};
 
// definition of the constructor
S::S(int val) : data(val) {
    std::cout << "ctor1 called, data = " << data << '\n';
}
 
// this constructor has a catch clause
S::S(std::string str) try : data(std::stoi(str)) {
    std::cout << "ctor2 called, data = " << data << '\n';
} catch(const std::exception&) {
    std::cout << "ctor2 failed, string was '" << str << "'\n";
    throw; // ctor's catch clause should always rethrow
}
 
struct D : S {
    int data2;
    // constructor with a default argument
    D(int v1, int v2 = 11) : S(v1), data2(v2) {}
 
    // virtual member function
    int getData() const override { return data*data2; }
 
    // lvalue-only assignment operator
    D& operator=(D other) & {
        std::swap(other.data, data);
        std::swap(other.data2, data2);
        return *this;
    }
};
 
int main()
{
    D d1 = 1;
    S s2("2");
    try {
         S s3("not a number");
    } catch(const std::exception&) {}
    std::cout << s2.getData() << '\n';
 
   D d2(3, 4);
   d2 = d1; // OK: assignment to lvalue
//   D(5) = d1; // ERROR: no suitable overload of operator=
}

Вывод:

ctor1 called, data = 1
ctor2 called, data = 2
ctor2 failed, string was 'not a number'
2
ctor1 called, data = 3