Deduction

Collaboration diagram for Deduction:

Macros
#define	static_assert(a)   static_assert(a, "")

Functions
auto	implicit_int_return_type ()
auto	deduced_return_type (int a)
template<typename T >
auto &	deduced_return_type_template (T &t)
void	return_type_deduction_demo ()

Variables
auto	deduced_return_type_lambda

Detailed Description

Macro Definition Documentation

static_assert

#define static_assert

(

a

)

static_assert(a, "")

Definition at line 26 of file 14.cpp.

Function Documentation

deduced_return_type()

auto deduced_return_type

(

int

a

)

Definition at line 35 of file 14.cpp.

{
    return a;
}

Here is the caller graph for this function:

deduced_return_type_template()

template<typename T >

auto & deduced_return_type_template

(

T &

t

)

Definition at line 41 of file 14.cpp.

{
    return t;
}

implicit_int_return_type()

auto implicit_int_return_type

(

)

Definition at line 29 of file 14.cpp.

{
    return 1;
}

Here is the caller graph for this function:

return_type_deduction_demo()

void return_type_deduction_demo

(

)

Definition at line 51 of file 14.cpp.

{
    implicit_int_return_type();
    auto x = deduced_return_type(1);
    int& y = deduced_return_type_lambda(x); // reference to `x`
    assert(&y == &x);
    assert(y == 1);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

deduced_return_type_lambda

auto deduced_return_type_lambda

Initial value:

= [](auto& x) -> auto& {
    return deduced_return_type_template(x);
}

Definition at line 47 of file 14.cpp.