Namespaces
Variants
Views
Actions

std::declval

From cppreference.com
< cpp‎ | utility
Revision as of 18:26, 30 January 2013 by Nate (Talk | contribs)

Template:ddcl list begin <tr class="t-dsc-header">

<td>
Defined in header <utility>
</td>

<td></td> <td></td> <tr class="t-dcl ">

<td >
template< class T >
typename std::add_rvalue_reference<T>::type declval();
</td>

<td class="t-dcl-nopad"> </td> <td > (since C++11) </td> </tr> Template:ddcl list end

Converts any type T to a reference type, making it possible to use member functions in decltype expressions without specifying constructors.

declval is commonly used in templates where acceptable template parameters may have no constructor in common, but have the same member function whose return type is needed. Note that because no definition exists for declval, it can only be used in unevaluated contexts; it is an error to evaluate an expression that contains this function.

Contents

Parameters

(none)

Return value

Cannot be called and thus never returns a value. The return type is T&& unless T is an lvalue reference type, in which case the return type is T&.

Exceptions

noexcept specification:  
noexcept
  

Example

#include <utility>
#include <iostream>
 
struct Default {
    int foo() const {return 1;}
};
 
struct NonDefault {
    NonDefault(const NonDefault&) {}
    int foo() const {return 1;}
};
 
int main()
{
    decltype(Default().foo()) n1 = 1; // int n1
//  decltype(NonDefault().foo()) n2 = n1; // will not compile
    decltype(std::declval<NonDefault>().foo()) n2 = n1; // int n2
    std::cout << "n2 = " << n2 << '\n';
}

Output:

n2 = 1

See also

Template:cpp/language/dcl list decltype
(C++11)
deduces the return type of a function call expression
(class template) [edit]