Declaring functions

Материал из cppreference.com

This page has been machine-translated from the English version of the wiki using Google Translate.

The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here.

Click here for the English version of this page

Объявление функции вводит имя функции и ее тип. Он может появиться в любой области, и обычно помещают в заголовок файла.


ret `name` `(` params `)` `;`	(1)

ret `name` `(` params `)` cv ref except attr `;`	(2)

`auto` `name` `(` params `)` cv ref except attr `->` ret `;`	(3)	(начиная с C++11)

Определение функции обеспечивает тело функции. Она может появиться только в пространстве имен или класса сферу.


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)

Типичное объявление функции

2)

Всеобъемлющее декларации функции

3)

Всеобъемлющее объявление функции с задней возвращаемого типа

4)

Типичные, не являющихся членами определение функции

5)

Всеобъемлющее определение функции

6)

Всеобъемлющее определение функции с задней возвращаемого типа

7)

Чисто виртуальные функции-члена

8)

Дефолтным функции-члена

9)

Удаленные функции-члена

attr(C++11)

-

Дополнительно последовательность из любого количества Функция атрибутов, таких как [[noreturn]] или [[carries_dependency]]. Может появиться как до, так и после имени функции

ret

-

Тип, возвращаемый функцией, может быть void если функция ничего не возвращает. Не может быть массив или функцию типа, хотя может быть указатель или ссылка на таковую. Обязательный для всех функций, кроме конструкторов, деструкторы и операторы преобразования, которые не должны обеспечить возврат типа .

decl

-

Декларация спецификатор последовательность, которая состоит ни одного или некоторых из следующих ключевых слов: статических, внешний, встроенный, virtual, explicit, friend, КонстВыраж, в сочетании с типом возвращаемого значения, ret

{{param list item | 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

except

-

либо динамического исключения спецификации или noexcept-спецификации

virt(C++11)

-

Дополнительно override или final, применимо только к не-статические функции-члены

->ret(C++11)

-

Трейлинг возвращаемого типа, применяется только в случае ret является auto. Полезно, если тип зависит от аргументов имена, такие как template <class T, class U> auto add(T t, U u) -> decltype(t + u); или сложные, например, в auto fpif(int)->int(*)(int)

init-list

-

Список инициализации конструктора, используется только в конструкторах

try

-

Дополнительный блок попытки функции. Если они присутствуют, catch должны быть обеспечены

catch

-

Дополнительно последовательность поймать-блоки, применимо только из try используется .

body

-

В теле функции (возможно, пустой) составного оператора

params

-

Список параметров

[править] Пример 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

Язык
Понятия (концепции)
Утилиты
Строки
Контейнеры
Алгоритмы
Итераторы
Работа с числами
Ввод / вывод
Локализация
Регулярные выражения (C++11)
Атомарные примитивы (C++11)
Потоки (C++11)

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия

Declaring functions

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

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

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

Навигация

Инструменты