0% found this document useful (0 votes)

19 views

Compile-Time Tools For Generic Programming in C++ - Abel Sinkovics - CppCon 2015

Uploaded by

alan88w

Available Formats

Download as PDF, TXT or read online on Scribd

0% found this document useful (0 votes)

19 views

Compile-Time Tools For Generic Programming in C++ - Abel Sinkovics - CppCon 2015

Uploaded by

alan88w

Available Formats

Download as PDF, TXT or read online on Scribd

You are on page 1/ 241

Compile-time tools supporting generic

programming in C++

Ábel Sinkovics

Morgan Stanley
Generic programming

 ”Generic programming is a programming

paradigm for developing efficient, reusable
software libraries” http://www.generic-programming.org/
 ”Generic programming is about generalizing
software components so that they can be easily
reused in a wide variety of situations.”
http://www.boost.org/community/generic_programming.html
Generic programming

 ”Generic programming is a programming

In C++ they are implemented using templates

Using templates
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;
Compiler

Object
code

Error report
…
…
…
…
…
…
Using templates
template <class T>
class foo { … };

template <class U>

using bar = foo<foo>;

foo<bar<int>> x;

template
Compiler Compiler

foo<bar<int>>
template Object
code

Error report
…
…
…
…
…
…
Template metaprogrammers

 They are using templates heavily

Template metaprogrammers

 They are using templates heavily

Compiler
 Generic library usage template

foo<bar<int>>
template
Template metaprogrammers

 They are using templates heavily

Compiler
 Generic library usage template

foo<bar<int>>
template

 Template metaprogram template Compiler

template template
template
template
template template

template

template template

template
template template
Template metaprogrammers

 Recently: advanced tools for template

metaprogrammers
 Templight
 Metashell + MDB
Template metaprogrammers

 Recently: advanced tools for template

metaprogrammers
 Templight
 Metashell + MDB
 Can those tools be useful for generic library
development and usage?
Available tools

 The compiler
 Error messages
 Type pretty-printing
 IDEs
 Runtime debuggers
Available tools

 The compiler
 Error messages
 Type pretty-printing
 IDEs
 Runtime debuggers
 Template metaprogrammer tools
 Metashell (with MDB)
 Templight
What is the type of...?

#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}
What is the type of...?

#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}
What is the type of...?
a.hpp
#ifndef A_HPP
#define A_HPP

#include "b.hpp"

template <class T>

#include <a.hpp>
class a : public b<T, int>
int main() {
{ };
a<int>::handle x;
return 0; #endif
}
What is the type of...?
a.hpp
#ifndef A_HPP
#define A_HPP

#include "b.hpp"
b.hpp
#ifndef B_HPP template <class T>
#include <a.hpp>
#define B_HPP class a : public b<T, int>
int main() {
#include "c.hpp" { };
#include "d.hpp" a<int>::handle x;
return 0; #endif
}
template <class T, class U>
class b
{
public:
typedef typename c<T, d>::handle handle;
};

#endif
What is the type of...?
a.hpp
#ifndef A_HPP
#define A_HPP
c.hpp
#ifndef C_HPP #include "b.hpp"
#define C_HPP b.hpp
#ifndef B_HPP template <class T>
#include "a.hpp"
#includeB_HPP
#define "c_factory.hpp" class a : public b<T, int>
int main() {
template "c.hpp"
#include <class T, class
{ U> };
class c "d.hpp"
#include a<int>::handle x;
{ return 0; #endif
public: <class T, class
template } U>
typedef
class b typename c_factory<typename U::item>::handle handle;
{};
public:
#endif
typedef typename c<T, d>::handle handle;
};

#endif
What is the type of...?
a.hpp
#ifndef A_HPP
#define A_HPP
c.hpp
#ifndef C_HPP #include "b.hpp"
#define C_HPP a<int>::handle
b.hpp
#ifndef B_HPP b<int,#include
int>::handle template <class T>
"a.hpp"
#includeB_HPP
#define "c_factory.hpp" class a : public b<T, int>
c<int,int
d<int>>::handle
main() {
#include <class c_factory<d<int>::item>::handle
template "c.hpp" T, class
{ U> };
class c "d.hpp"
#include a<int>::handle x;
...
{ return 0; #endif
public: <class T, class
template } U>
typedef
class b typename c_factory<typename U::item>::handle handle;
{};
public:
#endif
typedef typename c<T, d>::handle handle;
};

#endif
Approaches

 Enforced error message

 Displaying the name at runtime
 IDEs
 Debuggers
 Metaprogrammer tools
Enforced error message
Enforced error message
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}
Enforced error message
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Enforced error message
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Error report
…
…
…
…
…
…
Enforced error message
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Error report
…
…
…
…
…
…
Enforced error message
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Error report
…
…
…
g<int>
…
…
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
}
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
} Clang
In file included from main1_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
main1_err.cpp:7:39: note: in instantiation of template class
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< a<int>::handle > t;
^
1 warning generated.
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
} Clang
In file included from main1_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
main1_err.cpp:7:39: note: in instantiation of template class
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< a<int>::handle > t;
^
1 warning generated.
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
} Clang
In file included from main1_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
Visual class
main1_err.cpp:7:39: note: in instantiation of template C++
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< error
boost/mpl/print.hpp(52): a<int>::handle > t; integral constant
C4308: negative
converted to unsigned type ^
1 warning generated.
main.cpp(7) : see reference to class template instanti
ation 'boost::mpl::print<g<T>>' being compiled
with
[
T=int
]
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
} Clang
In file included from main1_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
Visual class
main1_err.cpp:7:39: note: in instantiation of template C++
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< error
boost/mpl/print.hpp(52): a<int>::handle > t; integral constant
C4308: negative
converted to unsigned type ^
1 warning generated.
main.cpp(7) : see reference to class template instanti
ation 'boost::mpl::print<g<T>>' being compiled
with
[
T=int
]
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
} Clang
In file included from main1_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
Visual class
main1_err.cpp:7:39: note: in instantiation of template C++
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< error
boost/mpl/print.hpp(52): a<int>::handle > t; integral constant
C4308: negative
converted to unsigned type ^
1 warning generated.
main.cpp(7) : see reference to class template instanti
ation 'boost::mpl::print<g<T>>' being compiled
with
[
T=int
]
boost::mpl::print
int main()
{
boost::mpl::print< a<int>::handle > t;
} Clang
In file included from main1_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
Visual class
main1_err.cpp:7:39: note: in instantiation of template C++
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< error
boost/mpl/print.hpp(52): a<int>::handle > t; integral constant
C4308: negative
converted to unsigned type ^
1 warning generated.
main.cpp(7) : see reference to class template instanti
ation 'boost::mpl::print<g<T>>' being compiled
with
[
T=int
]
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
}
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
} GCC
metamonad/fail_with_type.hpp:9:0,
from main1_err_mpllibs.cpp:3:
metamonad/v1/fail_with_type.hpp: In instantiation of ‘void mpllibs::metamonad::
v1::fail_with_type() [with T = g<int>]’:
main1_err_mpllibs.cpp:7:56: required from here
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of ‘mpllibs::
metamonad::v1::impl::FAIL_WITH_TYPE__________________________________<g<int> >’
impl::FAIL_WITH_TYPE__________________________________<T>::f();
^
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
} GCC
metamonad/fail_with_type.hpp:9:0,
from main1_err_mpllibs.cpp:3:
metamonad/v1/fail_with_type.hpp: In instantiation of ‘void mpllibs::metamonad::
v1::fail_with_type() [with T = g<int>]’:
main1_err_mpllibs.cpp:7:56: required from here
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of ‘mpllibs::
metamonad::v1::impl::FAIL_WITH_TYPE__________________________________<g<int> >’
impl::FAIL_WITH_TYPE__________________________________<T>::f();
^
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
} GCC
metamonad/fail_with_type.hpp:9:0,
from main1_err_mpllibs.cpp:3: Clang
metamonad/v1/fail_with_type.hpp: In instantiation
In file included from main1_err_mpllibs.cpp:3: of ‘void mpllibs::metamonad::
v1::fail_with_type()
In file included from [with T = g<int>]’:
metamonad/fail_with_type.hpp:9:
main1_err_mpllibs.cpp:7:56: required error:
metamonad/v1/fail_with_type.hpp:26:68: from here
no member
error: ‘f’ is not a member of ‘mpllibs::
named 'f' in 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE________________
metamonad/v1/fail_with_type.hpp:26:70:
__________________<g<int> >'
metamonad::v1::impl::FAIL_WITH_TYPE__________________________________<g<int> >’
impl::FAIL_WITH_TYPE__________________________________<T>::f();
impl::FAIL_WITH_TYPE__________________________________<T>::f();
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ ^
main1_err_mpllibs.cpp:7:23: note: in instantiation of function template
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >' requested
here
mpllibs::metamonad::fail_with_type< a<int>::handle >();
^
1 error generated.
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
} GCC
metamonad/fail_with_type.hpp:9:0,
from main1_err_mpllibs.cpp:3: Clang
metamonad/v1/fail_with_type.hpp: In instantiation
In file included from main1_err_mpllibs.cpp:3: of ‘void mpllibs::metamonad::
v1::fail_with_type()
In file included from [with T = g<int>]’:
metamonad/fail_with_type.hpp:9:
main1_err_mpllibs.cpp:7:56: required error:
metamonad/v1/fail_with_type.hpp:26:68: from here
no member
error: ‘f’ is not a member of ‘mpllibs::
named 'f' in 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE________________
metamonad/v1/fail_with_type.hpp:26:70:
__________________<g<int> >'
metamonad::v1::impl::FAIL_WITH_TYPE__________________________________<g<int> >’
impl::FAIL_WITH_TYPE__________________________________<T>::f();
impl::FAIL_WITH_TYPE__________________________________<T>::f();
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ ^
main1_err_mpllibs.cpp:7:23: note: in instantiation of function template
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >' requested
here
mpllibs::metamonad::fail_with_type< a<int>::handle >();
^
1 error generated.
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
} GCC
metamonad/fail_with_type.hpp:9:0,
from main1_err_mpllibs.cpp:3: Clang
metamonad/v1/fail_with_type.hpp: In instantiation
In file included from main1_err_mpllibs.cpp:3: of ‘void mpllibs::metamonad::
v1::fail_with_type()
In file included from [with T = g<int>]’:
metamonad/fail_with_type.hpp:9:
main1_err_mpllibs.cpp:7:56: required error:
from here
Visual C++
metamonad/v1/fail_with_type.hpp:26:68: no member
metamonad\v1\fail_with_type.hpp(26): error C2039:
error: 'f'not
‘f’ is : is
a not a member
member of
named 'f' in 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE________________
metamonad/v1/fail_with_type.hpp:26:70: of ‘mpllibs::
'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_____________________________
__________________<g<int> >'
metamonad::v1::impl::FAIL_WITH_TYPE__________________________________<g<int> >’
_____<T>'
impl::FAIL_WITH_TYPE__________________________________<T>::f();
impl::FAIL_WITH_TYPE__________________________________<T>::f();
with
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ ^
[
main1_err_mpllibs.cpp:7:23: note: in instantiation of function template
T=g<int>
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >' requested
here ]
main.cpp(7) : see reference a<int>::handle
mpllibs::metamonad::fail_with_type< to function template
>(); instantiation '
void mpllibs::metamonad::v1::fail_with_type<g<T>>(void)'
^ being compiled
with
1 error generated.
[
T=int
]
metamonad::fail_with_type
int main()
{
mpllibs::metamonad::fail_with_type< a<int>::handle >();
} GCC
metamonad/fail_with_type.hpp:9:0,
from main1_err_mpllibs.cpp:3: Clang
metamonad/v1/fail_with_type.hpp: In instantiation
In file included from main1_err_mpllibs.cpp:3: of ‘void mpllibs::metamonad::
v1::fail_with_type()
In file included from [with T = g<int>]’:
metamonad/fail_with_type.hpp:9:
main1_err_mpllibs.cpp:7:56: required error:
from here
Visual C++
metamonad/v1/fail_with_type.hpp:26:68: no member
metamonad\v1\fail_with_type.hpp(26): error C2039:
error: 'f'not
‘f’ is : is
a not a member
member of
named 'f' in 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE________________
metamonad/v1/fail_with_type.hpp:26:70: of ‘mpllibs::
'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_____________________________
__________________<g<int> >'
metamonad::v1::impl::FAIL_WITH_TYPE__________________________________<g<int> >’
_____<T>'
impl::FAIL_WITH_TYPE__________________________________<T>::f();
impl::FAIL_WITH_TYPE__________________________________<T>::f();
with
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ ^
[
main1_err_mpllibs.cpp:7:23: note: in instantiation of function template
T=g<int>
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >' requested
here ]
main.cpp(7) : see reference a<int>::handle
mpllibs::metamonad::fail_with_type< to function template
>(); instantiation '
void mpllibs::metamonad::v1::fail_with_type<g<T>>(void)'
^ being compiled
with
1 error generated.
[
T=int
]
Displaying the name at runtime
Displaying the name at runtime
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}
Displaying the name at runtime
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Displaying the name at runtime
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code
Displaying the name at runtime
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code

Executable
Displaying the name at runtime
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code

Executable
Standard output

g<int>
Displaying the name at runtime
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code

Executable
Standard output

g<int>
Displaying the name at runtime

int main()
{
std::cout << typeid(a<int>::handle).name();
}
Displaying the name at runtime

int main()
{
std::cout << typeid(a<int>::handle).name();
}

 Gcc: 1gIiE
 Clang: 1gIiE
Displaying the name at runtime

int main()
{
std::cout << typeid(a<int>::handle).name();
}

 Gcc: 1gIiE c++filt

g<int>
 Clang: 1gIiE
Displaying the name at runtime

int main()
{
std::cout << typeid(a<int>::handle).name();
}

 Gcc: 1gIiE c++filt

g<int>
 Clang: 1gIiE
 Visual C++ : class g<int>
Displaying the name at runtime

 Boost.TypeIndex

int main()
{
using boost::typeindex::type_id_with_cvr;
std::cout
<<
<< std::endl;
}
Displaying the name at runtime

 Boost.TypeIndex

int main()
{
using boost::typeindex::type_id_with_cvr;
std::cout
<< type_id_with_cvr< >()
<< std::endl;
}
Displaying the name at runtime

 Boost.TypeIndex

int main()
{
using boost::typeindex::type_id_with_cvr;
std::cout
<< type_id_with_cvr<a<int>::handle>()
<< std::endl;
}
Displaying the name at runtime

 Boost.TypeIndex

int main()
{
using boost::typeindex::type_id_with_cvr;
std::cout
<< type_id_with_cvr<a<int>::handle>().pretty_name()
<< std::endl;
}
Displaying the name at runtime

 Boost.TypeIndex

int main()
{
using boost::typeindex::type_id_with_cvr;
std::cout
<< type_id_with_cvr<a<int>::handle>().pretty_name()
<< std::endl;
}

g<int>
Displaying the name at runtime

 Boost.TypeIndex

int main()
{
using boost::typeindex::type_id_with_cvr;
std::cout
<< type_id_with_cvr<a<int>::handle>().pretty_name()
<< std::endl;
}

Visual C++

class g<int>
IDEs

IDE
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}

IDE
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}

a<int>::handle

IDE
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}

a<int>::handle

IDE
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
a<int>::handle

IDE
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Parser

a<int>::handle

IDE
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Parser

a<int>::handle

b.hpp
#ifndef B_HPP
#define B_HPP

#include "c.hpp"
IDE
#include "d.hpp"

template <class T, class U>

class b
{
public:
typedef typename c<T, d>::handle handle;
};

#endif
IDEs
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Parser

a<int>::handle

b.hpp
#ifndef B_HPP
#define B_HPP

#include "c.hpp"
IDE
#include "d.hpp"

template <class T, class U>

class b
{
public:
typedef typename c<T, d>::handle handle;
};

#endif
GDB
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code Debug
information
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code Debug
information

Executable
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code Debug
information

Executable

GDB
GDB
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler

Object
code Debug
information

Executable

GDB
g<int>
GDB

$ g++ main1.cpp -g -std=c++11

$
GDB

$ g++ main1.cpp -g -std=c++11

$ gdb a.out
GDB

$ g++ main1.cpp -g -std=c++11

$ gdb a.out
…
(gdb)
GDB

$ g++ main1.cpp -g -std=c++11

$ gdb a.out
…
(gdb) break main1.cpp:5
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
Breakpoint 1 at 0x4006d1: file main1.cpp, line 5.
(gdb)
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
Breakpoint 1 at 0x4006d1: file main1.cpp, line 5.
(gdb) run
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
Breakpoint 1 at 0x4006d1: file main1.cpp, line 5.
(gdb) run
Starting program: a.out

Breakpoint 1, main () at main1.cpp:6

6 return 0;
(gdb)
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
Breakpoint 1 at 0x4006d1: file main1.cpp, line 5.
(gdb) run
Starting program: a.out

Breakpoint 1, main () at main1.cpp:6

6 return 0;
(gdb) ptype x
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
Breakpoint 1 at 0x4006d1: file main1.cpp, line 5.
(gdb) run
Starting program: a.out

Breakpoint 1, main () at main1.cpp:6

6 return 0;
(gdb) ptype x
type = class g<int> [with T = int] {
public:
void foo(void);
}
1 #include <a.hpp>
GDB 2
3 int main()
4 {
5 a<int>::handle x;
6 return 0;
7 }
$ g++ main1.cpp -g -std=c++11
$ gdb a.out
…
(gdb) break main1.cpp:5
Breakpoint 1 at 0x4006d1: file main1.cpp, line 5.
(gdb) run
Starting program: a.out

Breakpoint 1, main () at main1.cpp:6

6 return 0;
(gdb) ptype x
type = class g<int> [with T = int] {
public:
void foo(void);
}
Metashell

 Template metaprogramming shell & debugger

 Designed for uncovering the template
instantiation details
 Not a ”template metaprogrammer-only” shell
 http://github.com/sabel83/metashell
Metashell

Metashell
Metashell
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}

Metashell
Metashell
#include <a.hpp>

int main()
{
a<int>::handle x;
return 0;
}

a<int>::handle

Metashell
Metashell
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
a<int>::handle

Metashell
Metashell
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Parser

a<int>::handle

Metashell
Metashell
#include <a.hpp>

int main()
{
a<int>::handle x;

}
return 0;
Compiler
Parser

a<int>::handle

Metashell
g<int>
Metashell

$ metashell
>
Metashell

$ metashell
> #include "main1.cpp"
>
Metashell

$ metashell
> #include "main1.cpp"
> a<int>::handle
Metashell

$ metashell
> #include "main1.cpp"
> a<int>::handle
g<int>
What is the type of...? #2

#include <a.hpp>

template <class T>

void fun()
{
typename a<T>::handle h;
h.foo();
}

int main()
{

}
What is the type of...? #2

#include <a.hpp>

template <class T>

void fun()
{
typename a<T>::handle h;
h.foo();
}

int main()
{
fun<double>();
}
What is the type of...? #2

#include <a.hpp>

template <class T>

void fun()
{
typename a<T>::handle h;
h.foo();
}

int main()
{
fun<double>();
}
Approaches

 Enforced error message

 Displaying the name at runtime
 IDEs
 Debuggers
 Metaprogrammer tools
boost::mpl::print
template <class T>
void fun()
{

typename a<T>::handle h;
h.foo();
}
boost::mpl::print
template <class T>
void fun()
{
boost::mpl::print< typename a<T>::handle > t;
typename a<T>::handle h;
h.foo();
}
boost::mpl::print
template <class T>
void fun()
{
boost::mpl::print< typename a<T>::handle > t;
typename a<T>::handle h;
h.foo();
Clang
} In file included from main2_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
main2_err.cpp:8:46: note: in instantiation of template class
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< typename a<T>::handle > t;
^
main2_err.cpp:15:3: note: in instantiation of function template
specialization 'fun<double>' requested here
fun<double>();
^
1 warning generated.
boost::mpl::print
template <class T>
void fun()
{
boost::mpl::print< typename a<T>::handle > t;
typename a<T>::handle h;
h.foo();
Clang
} In file included from main2_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));
^ ~~~~~~~~~~~~~~~~~~~~~~~
main2_err.cpp:8:46: note: in instantiation of template class
'boost::mpl::print<g<int> >' requested here
boost::mpl::print< typename a<T>::handle > t;
^
main2_err.cpp:15:3: note: in instantiation of function template
specialization 'fun<double>' requested here
fun<double>();
^
1 warning generated.
boost::mpl::print
template <class T>
void fun()
{
boost::mpl::print< typename a<T>::handle > t;
typename a<T>::handle h;
h.foo();
Clang
} In file included from main2_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));Visual C++
^ ~~~~~~~~~~~~~~~~~~~~~~~
boost\mpl\print.hpp(52): error C4308: negative integral constant
main2_err.cpp:8:46:
converted to unsigned typenote: in instantiation of template class
'boost::mpl::print<g<int>
main.cpp(8) : see reference>'
torequested here instanti
class template
boost::mpl::print< typename
ation 'boost::mpl::print<g<T>>' a<T>::handle
being compiled > t;
with ^
main2_err.cpp:15:3:
[ note: in instantiation of function template
specialization
T=int 'fun<double>' requested here
fun<double>();
]
^ main.cpp(15) : see reference to function template inst
1 warning
antiation 'voidgenerated.
fun<double>(void)' being compiled
boost::mpl::print
template <class T>
void fun()
{
boost::mpl::print< typename a<T>::handle > t;
typename a<T>::handle h;
h.foo();
Clang
} In file included from main2_err.cpp:3:
boost/mpl/print.hpp:50:23: warning: division by zero is undefined
[-Wdivision-by-zero]
const int m_x = 1 / (sizeof(T) - sizeof(T));Visual C++
^ ~~~~~~~~~~~~~~~~~~~~~~~
boost\mpl\print.hpp(52): error C4308: negative integral constant
main2_err.cpp:8:46:
converted to unsigned typenote: in instantiation of template class
'boost::mpl::print<g<int>
main.cpp(8) : see reference>'
torequested here instanti
class template
boost::mpl::print< typename
ation 'boost::mpl::print<g<T>>' a<T>::handle
being compiled > t;
with ^
main2_err.cpp:15:3:
[ note: in instantiation of function template
specialization
T=int 'fun<double>' requested here
fun<double>();
]
^ main.cpp(15) : see reference to function template inst
1 warning
antiation 'voidgenerated.
fun<double>(void)' being compiled
metamonad::fail_with_type
template <class T>
void fun()
{

typename a<T>::handle h;
h.foo();
}
metamonad::fail_with_type
template <class T>
void fun()
{
mpllibs::metamonad::fail_with_type< typename a<T>::handle >();
typename a<T>::handle h;
h.foo();
}
metamonad::fail_with_type
template <class T>
void fun() GCC
In
{ file included from metamonad/fail_with_type.hpp:9:0,
from main2_err_mpllibs.cpp:3:
mpllibs::metamonad::fail_with_type< typename a<T>::handle >();
metamonad/v1/fail_with_type.hpp: In instantiation of ‘void mpllibs::
typename a<T>::handle h;
metamonad::v1::fail_with_type() [with T = g<int>]’:
h.foo();
main2_err_mpllibs.cpp:8:63: required from ‘void fun() [with T =
}
double]’
main2_err_mpllibs.cpp:15:15: required from here
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of
‘mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE___________________________
_______<g<int> >’
impl::FAIL_WITH_TYPE__________________________________<T>::f();
^
metamonad::fail_with_type
template <class T>
void fun() GCC
In
{ file included from metamonad/fail_with_type.hpp:9:0,
from main2_err_mpllibs.cpp:3:
mpllibs::metamonad::fail_with_type< typename a<T>::handle >();
metamonad/v1/fail_with_type.hpp: In instantiation of ‘void mpllibs::
typename a<T>::handle h;
metamonad::v1::fail_with_type() [with T = g<int>]’:
h.foo();
main2_err_mpllibs.cpp:8:63: required from ‘void fun() [with T =
}
double]’
main2_err_mpllibs.cpp:15:15: required from here
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of
‘mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE___________________________
_______<g<int> >’
impl::FAIL_WITH_TYPE__________________________________<T>::f();
^
metamonad::fail_with_type
template <class T>
void fun() GCC
In
{ file included from metamonad/fail_with_type.hpp:9:0, Clang
file included from
from main2_err_mpllibs.cpp:3:
Inmpllibs::metamonad::fail_with_type< typename a<T>::handle >();
main2_err_mpllibs.cpp:3:
metamonad/v1/fail_with_type.hpp:
Intypename
file included In instantiation of ‘void mpllibs::
from metamonad/fail_with_type.hpp:9:
a<T>::handle h;
metamonad::v1::fail_with_type() [with T error:
metamonad/v1/fail_with_type.hpp:26:68: = g<int>]’:
no member
h.foo();
main2_err_mpllibs.cpp:8:63: required from ‘void fun() [with T =
} named 'f' in 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_______
double]’
___________________________<g<int> >'
main2_err_mpllibs.cpp:15:15: required from here
Impl::FAIL_WITH_TYPE__________________________________<T>::f();
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
‘mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE___________________________
main2_err_mpllibs.cpp:8:23: note: in instantiation of function template
_______<g<int> >’
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >'
impl::FAIL_WITH_TYPE__________________________________<T>::f();
requested here
mpllibs::metamonad::fail_with_type< typename a<T>::handle >(); ^
^
main2_err_mpllibs.cpp:15:3: note: in instantiation of function template
specialization 'fun<double>' requested here
fun<double>();
^
1 error generated.
metamonad::fail_with_type
template <class T>
void fun() GCC
In
{ file included from metamonad/fail_with_type.hpp:9:0, Clang
file included from
from main2_err_mpllibs.cpp:3:
Inmpllibs::metamonad::fail_with_type< typename a<T>::handle >();
main2_err_mpllibs.cpp:3:
metamonad/v1/fail_with_type.hpp:
Intypename
file included In instantiation of ‘void mpllibs::
from metamonad/fail_with_type.hpp:9:
a<T>::handle h;
metamonad::v1::fail_with_type() [with T error:
metamonad/v1/fail_with_type.hpp:26:68: = g<int>]’:
no member
h.foo();
main2_err_mpllibs.cpp:8:63: required from ‘void fun() [with T =
} named 'f' in 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_______
double]’
___________________________<g<int> >'
main2_err_mpllibs.cpp:15:15: required from here
Impl::FAIL_WITH_TYPE__________________________________<T>::f();
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
‘mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE___________________________
main2_err_mpllibs.cpp:8:23: note: in instantiation of function template
_______<g<int> >’
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >'
impl::FAIL_WITH_TYPE__________________________________<T>::f();
requested here
mpllibs::metamonad::fail_with_type< typename a<T>::handle >(); ^
^
main2_err_mpllibs.cpp:15:3: note: in instantiation of function template
specialization 'fun<double>' requested here
fun<double>();
^
1 error generated.
metamonad::fail_with_type
template <class T>
void fun() GCC
In
{ file included from metamonad/fail_with_type.hpp:9:0, Clang
file included from
from main2_err_mpllibs.cpp:3:
Inmpllibs::metamonad::fail_with_type< typename a<T>::handle >();
main2_err_mpllibs.cpp:3:
metamonad/v1/fail_with_type.hpp:
Intypename
file included In instantiation of ‘void Visual
from metamonad/fail_with_type.hpp:9: mpllibs::
C++
a<T>::handle h;
metamonad::v1::fail_with_type() [with T error:
metamonad/v1/fail_with_type.hpp:26:68: = g<int>]’:
no member
metamonad\v1\fail_with_type.hpp(26):
h.foo(); error C2039: 'f' : is not a member
main2_err_mpllibs.cpp:8:63:
named 'f' in required from ‘void fun() [with T =
'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_______
of
} 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_______________________
double]’
___________________________<g<int> >'
___________<T>'
main2_err_mpllibs.cpp:15:15: required from here
Impl::FAIL_WITH_TYPE__________________________________<T>::f();
with
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
[
‘mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE___________________________
main2_err_mpllibs.cpp:8:23: note: in instantiation of function template
T=g<int>
_______<g<int> >’
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >'
]
impl::FAIL_WITH_TYPE__________________________________<T>::f();
requested main.cpp(8)
here : see reference to function template instantiatio
mpllibs::metamonad::fail_with_type< typename a<T>::handle being ^
>(); compi
n 'void mpllibs::metamonad::v1::fail_with_type<g<T>>(void)'
led ^
main2_err_mpllibs.cpp:15:3:
with note: in instantiation of function template
specialization
[ 'fun<double>' requested here
fun<double>();
T=int
^ ]
1 error generated.
main.cpp(15) : see reference to function template instantiati
on
'void fun<double>(void)' being compiled
metamonad::fail_with_type
template <class T>
void fun() GCC
In
{ file included from metamonad/fail_with_type.hpp:9:0, Clang
file included from
from main2_err_mpllibs.cpp:3:
Inmpllibs::metamonad::fail_with_type< typename a<T>::handle >();
main2_err_mpllibs.cpp:3:
metamonad/v1/fail_with_type.hpp:
Intypename
file included In instantiation of ‘void Visual
from metamonad/fail_with_type.hpp:9: mpllibs::
C++
a<T>::handle h;
metamonad::v1::fail_with_type() [with T error:
metamonad/v1/fail_with_type.hpp:26:68: = g<int>]’:
no member
metamonad\v1\fail_with_type.hpp(26):
h.foo(); error C2039: 'f' : is not a member
main2_err_mpllibs.cpp:8:63:
named 'f' in required from ‘void fun() [with T =
'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_______
of
} 'mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE_______________________
double]’
___________________________<g<int> >'
___________<T>'
main2_err_mpllibs.cpp:15:15: required from here
Impl::FAIL_WITH_TYPE__________________________________<T>::f();
with
metamonad/v1/fail_with_type.hpp:26:70: error: ‘f’ is not a member of
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
[
‘mpllibs::metamonad::v1::impl::FAIL_WITH_TYPE___________________________
main2_err_mpllibs.cpp:8:23: note: in instantiation of function template
T=g<int>
_______<g<int> >’
specialization 'mpllibs::metamonad::v1::fail_with_type<g<int> >'
]
impl::FAIL_WITH_TYPE__________________________________<T>::f();
requested main.cpp(8)
here : see reference to function template instantiatio
mpllibs::metamonad::fail_with_type< typename a<T>::handle being ^
>(); compi
n 'void mpllibs::metamonad::v1::fail_with_type<g<T>>(void)'
led ^
main2_err_mpllibs.cpp:15:3:
with note: in instantiation of function template
specialization
[ 'fun<double>' requested here
fun<double>();
T=int
^ ]
1 error generated.
main.cpp(15) : see reference to function template instantiati
on
'void fun<double>(void)' being compiled
IDEs

#include <a.hpp>

template <class T>

void fun()
{
typename a<T>::handle h;
h.foo();
}

int main()
{
fun<double>();
}
IDEs

#include <a.hpp>

template <class T>

void fun()
{
typename a<T>::handle h;
h.foo();
}

int main()
{
fun<double>();
}
IDEs

void fun<int>()
{
a<int>::handle h;
#include <a.hpp> h.foo();
}
template <class T>
void fun()
{
typename a<T>::handle h;
h.foo();
}

int main()
{
fun<double>();
}
IDEs

void fun<int>()
{
a<int>::handle h;
#include <a.hpp> h.foo();
}
template <class T>
void fun()
{ void fun<double>()
typename a<T>::handle h; {
h.foo(); a<double>::handle h;
} h.foo();
}
int main()
{
fun<double>();
}
IDEs

$ g++ main2.cpp -g -std=c++11

$
GDB

$ g++ main2.cpp -g -std=c++11

$ gdb a.out
…
(gdb)
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
Breakpoint 1 at 0x4008c7: file main2.cpp, line 6.
(gdb)
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
Breakpoint 1 at 0x4008c7: file main2.cpp, line 6.
(gdb) run
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
Breakpoint 1 at 0x4008c7: file main2.cpp, line 6.
(gdb) run
Starting program: a.out

Breakpoint 1, fun<double> () at main2.cpp:7

7 h.foo();
(gdb)
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
Breakpoint 1 at 0x4008c7: file main2.cpp, line 6.
(gdb) run
Starting program: a.out

Breakpoint 1, fun<double> () at main2.cpp:7

7 h.foo();
(gdb) ptype h
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
Breakpoint 1 at 0x4008c7: file main2.cpp, line 6.
(gdb) run
Starting program: a.out

Breakpoint 1, fun<double> () at main2.cpp:7

7 h.foo();
(gdb) ptype h
type = class g<int> [with T = int] {
public:
void foo(void);
}
1 #include <a.hpp>
GDB 2
3 template <class T>
4 void fun()
5 {
6 typename a<T>::handle h;
7 h.foo();
$ g++ main2.cpp -g -std=c++11
8 }
$ gdb a.out
…
(gdb) break main2.cpp:6
Breakpoint 1 at 0x4008c7: file main2.cpp, line 6.
(gdb) run
Starting program: a.out

Breakpoint 1, fun<double> () at main2.cpp:7

7 h.foo();
(gdb) ptype h
type = class g<int> [with T = int] {
public:
void foo(void);
}
Metashell

$ metashell
>
Metashell

$ metashell
> #include "main2.cpp"
>
Metashell

$ metashell
> #include "main2.cpp"
> a<double>::handle
Metashell

$ metashell
> #include "main2.cpp"
> a<double>::handle
g<int>
>
Metashell

$ metashell
> #include "main2.cpp" Why?
> a<double>::handle
g<int>
>
Metashell

$ metashell
> #include "main2.cpp" Why?
> a<double>::handle
g<int>
> #msh mdb a<double>::handle
Metashell

$ metashell
> #include "main2.cpp" Why?
> a<double>::handle
g<int>
> #msh mdb a<double>::handle
For help, type "help".
Metaprogram started

(mdb)
Metashell

$ metashell
> #include "main2.cpp" Why?
> a<double>::handle
g<int>
> #msh mdb a<double>::handle
For help, type "help".
Metaprogram started

(mdb) ft
Metashell

$ metashell
> #include "main2.cpp" Why?
> a<double>::handle
g<int>
> #msh mdb a<double>::handle
For help, type "help".
Metaprogram started

(mdb) ft
a<double>::handle
+ a<double> (TemplateInstantiation from <stdin>:2:26)
| ` b<double, int> (TemplateInstantiation from ./a.hpp:7:18)
| ` c<double, d<int> > (TemplateInstantiation from ./b.hpp:11:20)
| + d<int> (TemplateInstantiation from ./c.hpp:10:39)
| | ` e<int> (TemplateInstantiation from ./d.hpp:10:20)
| ` c_factory<f<int> > (TemplateInstantiation from ./c.hpp:10:20)
| ` f<int> (TemplateInstantiation from ./c_factory.hpp:8:20)
` g<int> (TemplateInstantiation from <stdin>:2:46)
What is the type of...? #3

template <class T>

int f(T&& ref)
{
return 0;
}
What is the type of...? #3

template <class T>

int f(T&& ref)
{
return 0;
}

int main()
{
f(3.1415);

}
What is the type of...? #3

template <class T>

int f(T&& ref)
{
return 0;
}

int main()
{
f(3.1415);

}
What is the type of...? #3

template <class T>

int f(T&& ref)
{
return 0;
}

int main()
{
f(3.1415);
double d = 1.0;
f(d);
}
What is the type of...? #3

template <class T>

int f(T&& ref)
{
return 0;
}

int main()
{
f(3.1415);
double d = 1.0;
f(d);
}
What is the type of...? #3
Deduced types

template <class T>

int f(T&& ref)
{
return 0;
}

int main()
{
f(3.1415);
double d = 1.0;
f(d);
}
What is the type of...? #3
Deduced types

template <class T>

int f(T&& ref)
{
return 0;
}

int main()
{
f(3.1415);
double d = 1.0;
f(d);
}

Scott Meyers
Effective Modern C++: 42 Specific Ways To Improve Your Use of C++11 and C++14
Item 4
MDB

$ metashell
MDB

$ metashell
/* … */
>
MDB

$ metashell
/* … */
> template <class T> int f(T&& ref) { return 0; }
>
MDB

$ metashell
/* … */
> template <class T> int f(T&& ref) { return 0; }
> #msh mdb decltype(f(3.1415))
MDB

$ metashell
/* … */
> template <class T> int f(T&& ref) { return 0; }
> #msh mdb decltype(f(3.1415))
For help, type "help".
Metaprogram started
(mdb)
MDB

$ metashell
/* … */
> template <class T> int f(T&& ref) { return 0; }
> #msh mdb decltype(f(3.1415))
For help, type "help".
Metaprogram started
(mdb) ft
MDB

$ metashell
/* … */
> template <class T> int f(T&& ref) { return 0; }
> #msh mdb decltype(f(3.1415))
For help, type "help".
Metaprogram started
(mdb) ft
decltype(f(3.1415))
+ f<double> (TemplateInstantiation from <stdin>:2:35)
` int (NonTemplateType from <stdin>:2:48)
(mdb)
> double d = 1.0;
> #msh mdb decltype(f(d))
For help, type "help".
Metaprogram started
(mdb)
MDB

 Clang extension/tool
 Logs template instantion-related events
 Original: http://plc.inf.elte.hu/templight/
 Fork: https://github.com/mikael-s-persson/templight
 We will be using the fork
Templight

$ templight++ -std=c++11 -c -Xtemplight -profiler -Xtemplight -safe-mode main3.cpp

Templight

$ templight++ -std=c++11 -c -Xtemplight -profiler -Xtemplight -safe-mode main3.cpp

main3.o.trace.pbf
Templight

$ templight++ -std=c++11 -c -Xtemplight -profiler -Xtemplight -safe-mode main3.cpp

main3.o.trace.pbf

$ templight-convert -f <type> -i main3.o.trace.pbf

Templight

$ templight++ -std=c++11 -c -Xtemplight -profiler -Xtemplight -safe-mode main3.cpp

main3.o.trace.pbf

$ templight-convert -f <type> -i main3.o.trace.pbf

XML Graphml Graphviz Callgrind

Templight

$ templight++ -std=c++11 -c -Xtemplight -profiler -Xtemplight -safe-mode main3.cpp

main3.o.trace.pbf

$ templight-convert -f <type> -i main3.o.trace.pbf

XML Graphml Graphviz Callgrind

KCacheGrind

 Generate a callgrind output from Templight

 Open it with KCacheGrind
KCacheGrind

 Generate a callgrind output from Templight

 Open it with KCacheGrind

instantiates

instantiates
Understanding template
instantiations
 What happens when you instantiate a template
function?
 The body of the template function might trigger
further template instantiations
 It is often useful to understand what happens
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

T sum(T t_) { return t_; }

template <class T, class... Ts>

typename std::common_type<T, Ts...>::type
sum(T t_, Ts... ts_)
{
return t_ + sum(ts_...);
}
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

T sum(T t_) { return t_; }

template <class T, class... Ts>

typename std::common_type<T, Ts...>::type
sum(T t_, Ts... ts_)
{
return t_ + sum(ts_...);
}

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

$ metashell
T sum(T t_) { return t_; }

template <class T, class... Ts>

typename std::common_type<T, Ts...>::type
sum(T t_, Ts... ts_)
{
return t_ + sum(ts_...);
}

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

$ metashell
T sum(T t_) { return t_; }
/* … */
>
template <class T, class... Ts>
typename std::common_type<T, Ts...>::type
sum(T t_, Ts... ts_)
{
return t_ + sum(ts_...);
}

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

$ metashell
T sum(T t_) { return t_; }
/* … */
> #include "sum.hpp"
>
template <class T, class... Ts>
typename std::common_type<T, Ts...>::type
sum(T t_, Ts... ts_)
{
return t_ + sum(ts_...);
}

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

$ metashell
T sum(T t_) { return t_; }
/* … */
> #include "sum.hpp"
> #include <metashell/instantiate_expression.hpp>
> template <class T, class... Ts>
typename std::common_type<T, Ts...>::type
sum(T t_, Ts... ts_)
{
return t_ + sum(ts_...);
}

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
Summarising numbers
sum.hpp
#include <type_traits>

template <class T>

$ metashell
T sum(T t_) { return t_; }
/* … */
> #include "sum.hpp"
> #include <metashell/instantiate_expression.hpp>
template <class T, class...
> METASHELL_INSTANTIATE_EXPRESSION( sum(1, 2, Ts>
3, 4, 5, 6, 7, 8, 9, 10) )
typename std::common_type<T, Ts...>::type
metashell::expression_instantiated<true>
> #msh mdb METASHELL_INSTANTIATE_EXPRESSION( sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) )
sum(T
For t_,"help".
help, type Ts... ts_)
{
Metaprogram started
(mdb) ft
return t_ + sum(ts_...);
METASHELL_INSTANTIATE_EXPRESSION( sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) )
}
+ sum<int, int, int, int, int, int, int, int, int, int> (TemplateInstantiation from <stdin>:2:26)
| ` sum<int, int, int, int, int, int, int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int, int, int, int, int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int, int, int, int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int, int, int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int, int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int, int> (TemplateInstantiation from ./sum.hpp:12:15)
| ` sum<int> (TemplateInstantiation from ./sum.hpp:12:15)
` metashell::expression_instantiated<true> (TemplateInstantiation from <stdin>:2:99)

sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
An STL example

 What gets instantiated when you create an

empty std::string?
An STL example

 What gets instantiated when you create an

empty std::string?
>
An STL example

 What gets instantiated when you create an

empty std::string?
> #include <metashell/instantiate_expression.hpp>
>
An STL example

 What gets instantiated when you create an

empty std::string?
> #include <metashell/instantiate_expression.hpp>
> #include <string>
>
An STL example

 What gets instantiated when you create an

empty std::string?
> #include <metashell/instantiate_expression.hpp>
> #include <string>
> #msh mdb METASHELL_INSTANTIATE_EXPRESSION( std::string() )
An STL example

 What gets instantiated when you create an

empty std::string?
> #include <metashell/instantiate_expression.hpp>
> #include <string>
> #msh mdb METASHELL_INSTANTIATE_EXPRESSION( std::string() )
For help, type "help".
Metaprogram started
(mdb)
An STL example

 What gets instantiated when you create an

METASHELL_INSTANTIATE_EXPRESSION( std::string() )
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from <stdin>:2:26)
| + std::allocator<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:114:24)

empty std::string?
| | + std::__allocator_base (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/allocator.h:92:29)
| | ` __gnu_cxx::new_allocator<char> (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/allocator.h:92:29)
| + std::allocator<char>::rebind<char> (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:114:32)
| + std::char_traits<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:119:24)
| + std::allocator<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:121:24)
| + std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bit
| | s/basic_string.h:289:28)
> #include <metashell/instantiate_expression.hpp>
| | + std::allocator<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:272:29)
> #include <string>
| | ` std::allocator<char>::allocator<char> (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/allocator.h:151:25)
| ` std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_st
| > #msh mdb METASHELL_INSTANTIATE_EXPRESSION( std::string() )
ring.h:289:28)
+ std::char_traits<char> (Memoization from <stdin>:2:26)
For help, type "help".
+ std::allocator<char> (Memoization from <stdin>:2:26)
+ metashell::expression_instantiated<true> (TemplateInstantiation from <stdin>:2:78)
Metaprogram started
` std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string (TemplateInstantiation from <stdin>:2:26)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:508:26)
(mdb) ft
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_st
| ring.h:508:9)
+ std::allocator<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:272:14)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:511:7)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:5
| 11:30)
| + std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:155:2
| | 1)
| + std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep_base (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_str
| | ing.h:155:21)
| | ` std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:150
| | :2)
| + std::allocator<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:158:19)
| + std::allocator<char>::rebind<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:158:27)
| ` std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:173:1
| 5)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_data (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/bas
| ic_string.h:511:8)
| + std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:293:1
| | 7)
| + std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_
| | string.h:293:28)
| + std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:297:1
| | 7)
| ` std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_
| string.h:297:28)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:439:21)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:4
| 39:35)
+ std::allocator<char> (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:439:50)
+ std::basic_string<char, std::char_traits<char>, std::allocator<char> > (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_string.h:439:9)
` std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider (Memoization from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/basic_st
ring.h:439:9)
An STL example

 What gets instantiated when you create an

 Heavy template usage can lead to long

compilation times
 To optimise it, we need to understand where
this comes from
Example code

 Boost.Graph example: astar-cities.cpp

$ time clang++ astar-cities.cpp

real 0m3.726s
user 0m3.297s
sys 0m0.139s
Templight + Callgrind

 KcacheGrind
 Instantiation tree
 Profiling
Templight + Callgrind
”What gets instantiated?”
”What gets instantiated?”
$ templight-convert -f text -i astar-cities.o.trace.pbf \
| grep 'Name =' | sed 's/^ Name = //' | sort --unique
”What gets instantiated?”
$ templight-convert -f text -i astar-cities.o.trace.pbf \
| grep 'Name =' | sed 's/^ Name = //' | sort --unique

. . .

boost::detail::deduce_source_char_impl<boost::detail::deduce_character_type_later<unsigned long> >

boost::detail::deduce_source_char_impl<deduce_character_type_later<type-parameter-0-0> >
boost::detail::deduce_source_char<unsigned long>
boost::detail::deduce_target_char_impl<char>
boost::detail::deduce_target_char<std::basic_string<char> >
boost::detail::dereference_iterator
boost::detail::digit_traits<int>
boost::detail::digit_traits<long>
boost::detail::digit_traits_select<true>
boost::detail::digit_traits_select<true>::traits<int>
boost::detail::digit_traits_select<true>::traits<long>
boost::detail::do_not_construct_out_stream_t
boost::detail::dummy_constructor
boost::detail::dummy_no_property_iterator
boost::detail::dummy_pmap_reference
boost::detail::dummy_property_copier
boost::detail::edge_base<boost::undirected_tag, unsigned long>
boost::detail::edge_base<boost::undirected_tag, unsigned long>::edge_base
boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>
boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>::edge_desc_impl
boost::detail::edge_desc_impl<boost::undirected_tag, unsigned long>::get_property

. . .
When things go wrong

 So far we have assumed, that the code

compiles
 When the code fails to compile, we need to
debug the compilation process
Example code

class person
{
// ...
};
Example code

class person
{
// ...
};

int main()
{
std::vector<person> people;

}
Example code

class person
{
// ...
};

int main()
{
std::vector<person> people;

std::sort(people.begin(), people.end());
}
Example code
In file included from person.cpp:2: /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:85:16: error: invalid operands to binary expression ('person' and 'person')
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62: if (*__a < *__b)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1935:11: error: invalid operands to binary expression ('person' and 'person') ~~~~ ^ ~~~~
if (*__i < *__first) /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2282:12: note: in instantiation of function template specialization 'std::__move_median_to_first<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
~~~~ ^ ~~~~~~~~ std::__move_median_to_first(__first, __first + 1, __mid, __last - 1);
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5299:12: note: in instantiation of function template specialization 'std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
std::__heap_select(__first, __middle, __last); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2315:11: note: in instantiation of function template specialization 'std::__unguarded_partition_pivot<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::__unguarded_partition_pivot(__first, __last);
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2310:24: note: in instantiation of function template specialization 'std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
_GLIBCXX_STD_A::partial_sort(__first, __last, __last); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here
^ std::__introsort_loop(__first, __last,
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here ^
std::__introsort_loop(__first, __last, person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::sort(people.begin(), people.end());
person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
std::sort(people.begin(), people.end()); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person'
^ operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person' ^
operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'
^ operator<(const reverse_iterator<_Iterator>& __x,
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' ^
operator<(const reverse_iterator<_Iterator>& __x, /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'
^ operator<(const reverse_iterator<_IteratorL>& __x,
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' ^
operator<(const reverse_iterator<_IteratorL>& __x, /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person'
^ operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person' ^
operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) In file included from person.cpp:2:
^ In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62:
In file included from person.cpp:2: /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2242:20: error: invalid operands to binary expression ('person' and 'const person')
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62: while (*__first < __pivot)
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:61: ~~~~~~~~ ^ ~~~~~~~
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:235:35: error: invalid operands to binary expression ('person' and 'person') /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2283:19: note: in instantiation of function template specialization 'std::__unguarded_partition<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, person>' requested here
if (*(__first + __secondChild) < *(__first + (__secondChild - 1))) return std::__unguarded_partition(__first + 1, __last, *__first);
~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:407:9: note: in instantiation of function template specialization 'std::__adjust_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long, person>' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2315:11: note: in instantiation of function template specialization 'std::__unguarded_partition_pivot<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
std::__adjust_heap(__first, __parent, __len, _GLIBCXX_MOVE(__value)); std::__unguarded_partition_pivot(__first, __last);
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1933:12: note: in instantiation of function template specialization 'std::make_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here
std::make_heap(__first, __middle); std::__introsort_loop(__first, __last,
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5299:12: note: in instantiation of function template specialization 'std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
std::__heap_select(__first, __middle, __last); std::sort(people.begin(), people.end());
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2310:24: note: in instantiation of function template specialization 'std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person'
_GLIBCXX_STD_A::partial_sort(__first, __last, __last); operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'
std::__introsort_loop(__first, __last, operator<(const reverse_iterator<_Iterator>& __x,
^ ^
person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'
std::sort(people.begin(), people.end()); operator<(const reverse_iterator<_IteratorL>& __x,
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person' /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person'
operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y)
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' In file included from person.cpp:2:
operator<(const reverse_iterator<_Iterator>& __x, In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62:
^ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2245:19: error: invalid operands to binary expression ('const person' and 'person')
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' while (__pivot < *__last)
operator<(const reverse_iterator<_IteratorL>& __x, ~~~~~~~ ^ ~~~~~~~
^ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'const person'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person' operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) ^
^ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'const person'
In file included from person.cpp:2: operator<(const reverse_iterator<_Iterator>& __x,
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62: ^
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:61: /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'const person'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:135:64: error: invalid operands to binary expression ('person' and 'person') operator<(const reverse_iterator<_IteratorL>& __x,
while (__holeIndex > __topIndex && *(__first + __parent) < __value) ^
~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'const person'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:247:12: note: in instantiation of function template specialization 'std::__push_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long, person>' requested here operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y)
std::__push_heap(__first, __holeIndex, __topIndex, ^
^ In file included from person.cpp:2:
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:407:9: note: in instantiation of function template specialization 'std::__adjust_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long, person>' requested here In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62:
std::__adjust_heap(__first, __parent, __len, _GLIBCXX_MOVE(__value)); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2137:13: error: invalid operands to binary expression ('person' and 'person')
^ if (*__i < *__first)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1933:12: note: in instantiation of function template specialization 'std::make_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ~~~~ ^ ~~~~~~~~
std::make_heap(__first, __middle); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2211:9: note: in instantiation of function template specialization 'std::__insertion_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::__insertion_sort(__first, __first + int(_S_threshold));
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5299:12: note: in instantiation of function template specialization 'std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
std::__heap_select(__first, __middle, __last); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5453:9: note: in instantiation of function template specialization 'std::__final_insertion_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::__final_insertion_sort(__first, __last);

class person
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2310:24: note: in instantiation of function template specialization 'std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
_GLIBCXX_STD_A::partial_sort(__first, __last, __last); person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::sort(people.begin(), people.end());
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here ^
std::__introsort_loop(__first, __last,

{
// ...
};

int main()
{
std::vector<person> people;

{
// ...
};

int main()
/usr/include/c++/4.8/bits/stl_algo.h:1935:11: error:
{
invalid operands to binary expression ('person' and 'person')
std::vector<person> people;
if (*__i < *__first)
~~~~ ^ ~~~~~~~~
std::sort(people.begin(), people.end());
}
Example code
In file included from person.cpp:2: /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:85:16: error: invalid operands to binary expression ('person' and 'person')
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62: if (*__a < *__b)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1935:11: error: invalid operands to binary expression ('person' and 'person') ~~~~ ^ ~~~~
if (*__i < *__first) /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2282:12: note: in instantiation of function template specialization 'std::__move_median_to_first<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
~~~~ ^ ~~~~~~~~ std::__move_median_to_first(__first, __first + 1, __mid, __last - 1);
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5299:12: note: in instantiation of function template specialization 'std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
std::__heap_select(__first, __middle, __last); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2315:11: note: in instantiation of function template specialization 'std::__unguarded_partition_pivot<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::__unguarded_partition_pivot(__first, __last);
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2310:24: note: in instantiation of function template specialization 'std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
_GLIBCXX_STD_A::partial_sort(__first, __last, __last); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here
^ std::__introsort_loop(__first, __last,
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here ^
std::__introsort_loop(__first, __last, person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::sort(people.begin(), people.end());
person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^
std::sort(people.begin(), people.end()); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person'

1926 /// This is a helper function for the sort routines.

^ operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person' ^
operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'
^ operator<(const reverse_iterator<_Iterator>& __x,
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' ^
operator<(const reverse_iterator<_Iterator>& __x, /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'

1927 template<typename _RandomAccessIterator>

^ operator<(const reverse_iterator<_IteratorL>& __x,
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' ^
operator<(const reverse_iterator<_IteratorL>& __x, /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person'
^ operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person' ^
operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) In file included from person.cpp:2:
^ In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62:

1928 void
In file included from person.cpp:2: /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2242:20: error: invalid operands to binary expression ('person' and 'const person')
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62: while (*__first < __pivot)
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:61: ~~~~~~~~ ^ ~~~~~~~
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:235:35: error: invalid operands to binary expression ('person' and 'person') /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2283:19: note: in instantiation of function template specialization 'std::__unguarded_partition<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, person>' requested here
if (*(__first + __secondChild) < *(__first + (__secondChild - 1))) return std::__unguarded_partition(__first + 1, __last, *__first);
~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^

1929 __heap_select(_RandomAccessIterator __first,

/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:407:9: note: in instantiation of function template specialization 'std::__adjust_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long, person>' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2315:11: note: in instantiation of function template specialization 'std::__unguarded_partition_pivot<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
std::__adjust_heap(__first, __parent, __len, _GLIBCXX_MOVE(__value)); std::__unguarded_partition_pivot(__first, __last);
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1933:12: note: in instantiation of function template specialization 'std::make_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here
std::make_heap(__first, __middle); std::__introsort_loop(__first, __last,
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5299:12: note: in instantiation of function template specialization 'std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here

1930 _RandomAccessIterator __middle,

std::__heap_select(__first, __middle, __last); std::sort(people.begin(), people.end());
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2310:24: note: in instantiation of function template specialization 'std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person'
_GLIBCXX_STD_A::partial_sort(__first, __last, __last); operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:9: note: in instantiation of function template specialization 'std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long>' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'

1931 _RandomAccessIterator __last)

std::__introsort_loop(__first, __last, operator<(const reverse_iterator<_Iterator>& __x,
^ ^
person.cpp:12:8: note: in instantiation of function template specialization 'std::sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person'
std::sort(people.begin(), people.end()); operator<(const reverse_iterator<_IteratorL>& __x,
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'person' /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person'
operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y)

1932 {
^ ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' In file included from person.cpp:2:
operator<(const reverse_iterator<_Iterator>& __x, In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62:
^ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2245:19: error: invalid operands to binary expression ('const person' and 'person')
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'person' while (__pivot < *__last)
operator<(const reverse_iterator<_IteratorL>& __x, ~~~~~~~ ^ ~~~~~~~

1933 std::make_heap(first, middle);

^ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:220:5: note: candidate template ignored: could not match 'pair<type-parameter-0-0, type-parameter-0-1>' against 'const person'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'person' operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) ^
^ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:297:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'const person'
In file included from person.cpp:2: operator<(const reverse_iterator<_Iterator>& __x,
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62: ^
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:61: /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_iterator.h:347:5: note: candidate template ignored: could not match 'reverse_iterator<type-parameter-0-0>' against 'const person'

1934 for (_RandomAccessIterator i = middle; i < last; ++__i)

/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:135:64: error: invalid operands to binary expression ('person' and 'person') operator<(const reverse_iterator<_IteratorL>& __x,
while (__holeIndex > __topIndex && *(__first + __parent) < __value) ^
~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~ /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:1421:5: note: candidate template ignored: could not match 'vector<type-parameter-0-0, type-parameter-0-1>' against 'const person'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:247:12: note: in instantiation of function template specialization 'std::__push_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long, person>' requested here operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y)
std::__push_heap(__first, __holeIndex, __topIndex, ^
^ In file included from person.cpp:2:

1935 if (i < first)

/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_heap.h:407:9: note: in instantiation of function template specialization 'std::__adjust_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > >, long, person>' requested here In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/algorithm:62:
std::__adjust_heap(__first, __parent, __len, _GLIBCXX_MOVE(__value)); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2137:13: error: invalid operands to binary expression ('person' and 'person')
^ if (*__i < *__first)
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1933:12: note: in instantiation of function template specialization 'std::make_heap<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ~~~~ ^ ~~~~~~~~
std::make_heap(__first, __middle); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:2211:9: note: in instantiation of function template specialization 'std::__insertion_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::__insertion_sort(__first, __first + int(_S_threshold));
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5299:12: note: in instantiation of function template specialization 'std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here ^

1936 std::__pop_heap(first, middle, __i);

std::__heap_select(__first, __middle, __last); /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5453:9: note: in instantiation of function template specialization 'std::__final_insertion_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::allocator<person> > > >' requested here
^ std::__final_insertion_sort(__first, __last);

1937 }
std::__introsort_loop(__first, __last,

{
// ...
};

class person
{
// ...
};

int main()
{
std::vector<person> people;

std::sort(people.begin(), people.end());
}
How to see what went wrong
$ metashell

class person
{
// ...
};

int main()
{
std::vector<person> people;

std::sort(people.begin(), people.end());
}
How to see what went wrong
$ metashell
/* … */
>

class person
{
// ...
};

int main()
{
std::vector<person> people;

std::sort(people.begin(), people.end());
}
How to see what went wrong
$ metashell
/* … */
> #include "person.cpp"

class person
{
// ...
};

int main()
{
std::vector<person> people;

std::sort(people.begin(), people.end());
}
How to see what went wrong
$ metashell
/* … */
> #include "person.cpp"
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1935:11:
fatal error: invalid operands to binary expression ('person' and 'person')
>

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

class person
{
// ...
};

int main()
{
std::vector<person> people;

1926 /// This is a helper function for the sort routines.

1927class person _RandomAccessIterator>
template<typename
1928{ void
1929 __heap_select(_RandomAccessIterator __first,
1930 // ... _RandomAccessIterator __middle,
1931}; _RandomAccessIterator __last)
1932 {
1933 std::make_heap(__first, __middle);
1934int for
main()
(_RandomAccessIterator __i = __middle; __i < __last; ++__i)
1935{ if (*__i < *__first)
1936 std::__pop_heap(__first, __middle, __i);
1937 std::vector<person>
} people;

1926 /// This is a helper function for the sort routines.

int main()
{
std::vector<person> people;

// std::sort(people.begin(), people.end());
}
How to see what went wrong
$ metashell
/* … */
> #include "person.cpp"
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1935:11:
fatal error: invalid operands to binary expression ('person' and 'person')
> #include "person.cpp"
> #include <metashell/instantiate_expression.hpp>
> std::vector<person> people;
> #msh mdb METASHELL_INSTANTIATE_EXPRESSION( std::sort(people.begin(), people.end()) )
For help, type "help".
Metaprogram started
(mdb) rbreak __heap_select
Breakpoint "__heap_select" will stop the execution on 2 locations
(mdb) c
Breakpoint "__heap_select" class
reached person
std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::all
{
ocator<person> > > > (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../
../../../include/c++/4.8/bits/stl_algo.h:5299:7)
(mdb) bt
// ...
};
#0 std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::
allocator<person> > > > (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/
../../../../include/c++/4.8/bits/stl_algo.h:5299:7)
int main()
#1 std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::a
llocator<person> > > > (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/.
{
./../../../include/c++/4.8/bits/stl_algo.h:2310:8)
std::vector<person> people;
#2 std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, st
d::allocator<person> > >, long> (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-
gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:4)
// std::sort(people.begin(),
#3 std::sort<__gnu_cxx::__normal_iterator<person people.end());
*, std::vector<person, std::allocator
<person> > > > (TemplateInstantiation from <stdin>:2:26)
}
#4 METASHELL_INSTANTIATE_EXPRESSION( std::sort(people.begin(), people.end()) )
How to see what went wrong
$ metashell
/* … */
> #include "person.cpp"
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:1935:11:
fatal error: invalid operands to binary expression ('person' and 'person')
> #include "person.cpp"
> #include <metashell/instantiate_expression.hpp>
> std::vector<person> people;
> #msh mdb METASHELL_INSTANTIATE_EXPRESSION( std::sort(people.begin(), people.end()) )
For help, type "help".
Metaprogram started
(mdb) rbreak __heap_select
Breakpoint "__heap_select" will stop the execution on 2 locations
(mdb) c
Breakpoint "__heap_select" class
reached person
std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::all
{
ocator<person> > > > (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/../
../../../include/c++/4.8/bits/stl_algo.h:5299:7)
(mdb) bt
// ...
};
#0 std::__heap_select<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::
allocator<person> > > > (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/
../../../../include/c++/4.8/bits/stl_algo.h:5299:7)
int main()
#1 std::partial_sort<__gnu_cxx::__normal_iterator<person *, std::vector<person, std::a
llocator<person> > > > (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-gnu/4.8/.
{
./../../../include/c++/4.8/bits/stl_algo.h:2310:8)
std::vector<person> people;
#2 std::__introsort_loop<__gnu_cxx::__normal_iterator<person *, std::vector<person, st
d::allocator<person> > >, long> (TemplateInstantiation from /usr/lib/gcc/x86_64-linux-
gnu/4.8/../../../../include/c++/4.8/bits/stl_algo.h:5451:4)
// std::sort(people.begin(),
#3 std::sort<__gnu_cxx::__normal_iterator<person people.end());
*, std::vector<person, std::allocator
<person> > > > (TemplateInstantiation from <stdin>:2:26)
}
#4 METASHELL_INSTANTIATE_EXPRESSION( std::sort(people.begin(), people.end()) )
It all depends on a Clang patch

MDB Scripted analysis Callgrind view

It all depends on a Clang patch

MDB Scripted analysis Callgrind view

Templight
It all depends on a Clang patch

MDB Scripted analysis Callgrind view

Templight

Clang patch
It all depends on a Clang patch

MDB Scripted analysis Callgrind view

Templight

Clang patch

http://reviews.llvm.org/D5767
Q&A

Hourglass Workout Program by Luisagiuliet 2
76% (21)
Hourglass Workout Program by Luisagiuliet 2
51 pages
12 Week Program: Summer Body Starts Now
89% (45)
12 Week Program: Summer Body Starts Now
70 pages
Knee Ability Zero Now Complete As A Picture Book 4 PDF Free
94% (68)
Knee Ability Zero Now Complete As A Picture Book 4 PDF Free
49 pages
Read People Like A Book by Patrick King-Edited
61% (70)
Read People Like A Book by Patrick King-Edited
12 pages
Livingood, Blake - Livingood Daily Your 21-Day Guide To Experience Real Health
77% (13)
Livingood, Blake - Livingood Daily Your 21-Day Guide To Experience Real Health
260 pages
Facial Gains Guide (001 081)
91% (45)
Facial Gains Guide (001 081)
81 pages
Cheat Code To The Universe
94% (77)
Cheat Code To The Universe
34 pages
Curse of Strahd
95% (467)
Curse of Strahd
258 pages
The Psychiatric Interview - Daniel Carlat
91% (34)
The Psychiatric Interview - Daniel Carlat
473 pages
The Borax Conspiracy
91% (57)
The Borax Conspiracy
14 pages
The Secret Language of Attraction
86% (107)
The Secret Language of Attraction
278 pages
How To Develop and Write A Grant Proposal
83% (541)
How To Develop and Write A Grant Proposal
17 pages
Workbook For The Body Keeps The Score
88% (52)
Workbook For The Body Keeps The Score
111 pages
KamaSutra Positions
78% (69)
KamaSutra Positions
55 pages
7 Hermetic Principles
93% (28)
7 Hermetic Principles
3 pages
27 Feedback Mechanisms Pogil Key
75% (12)
27 Feedback Mechanisms Pogil Key
6 pages
Frank Hammond - List of Demons
92% (92)
Frank Hammond - List of Demons
3 pages
Phone Codes
78% (27)
Phone Codes
5 pages
36 Questions That Lead To Love
91% (35)
36 Questions That Lead To Love
3 pages
The 36 Questions That Lead To Love - The New York Times
94% (34)
The 36 Questions That Lead To Love - The New York Times
3 pages
100 Questions To Ask Your Partner
80% (35)
100 Questions To Ask Your Partner
2 pages
Satanic Calendar
25% (55)
Satanic Calendar
4 pages
The 36 Questions That Lead To Love - The New York Times
95% (21)
The 36 Questions That Lead To Love - The New York Times
3 pages
Jeffrey Epstein39s Little Black Book Unredacted PDF
75% (12)
Jeffrey Epstein39s Little Black Book Unredacted PDF
95 pages
14 Easiest & Hardest Muscles To Build (Ranked With Solutions)
100% (7)
14 Easiest & Hardest Muscles To Build (Ranked With Solutions)
27 pages
ALCHEMIST
64% (14)
ALCHEMIST
4 pages
1001 Songs
71% (69)
1001 Songs
1,798 pages
The 4 Hour Workweek, Expanded and Updated by Timothy Ferriss - Excerpt
23% (954)
The 4 Hour Workweek, Expanded and Updated by Timothy Ferriss - Excerpt
38 pages
Zodiac Sign & Their Most Common Addictions
63% (30)
Zodiac Sign & Their Most Common Addictions
9 pages
C Programming Notes
No ratings yet
C Programming Notes
54 pages
Introduction To C++ Templates and Exceptions
No ratings yet
Introduction To C++ Templates and Exceptions
29 pages
02 LearningCSharp
No ratings yet
02 LearningCSharp
23 pages
PF Lab 03 2k21
No ratings yet
PF Lab 03 2k21
11 pages
Comments: / This Comment Is So Long That It Needs Two Lines
No ratings yet
Comments: / This Comment Is So Long That It Needs Two Lines
19 pages
20ES2103B - Python Programming - Answers For Short Questions - UNIT - I & II
No ratings yet
20ES2103B - Python Programming - Answers For Short Questions - UNIT - I & II
8 pages
Hourglass Interfaces For C++ APIs - Stefanus Du Toit - CppCon 2014
No ratings yet
Hourglass Interfaces For C++ APIs - Stefanus Du Toit - CppCon 2014
46 pages
dump 2
No ratings yet
dump 2
8 pages
Embedded C': Source Code Technology
No ratings yet
Embedded C': Source Code Technology
125 pages
Mod - 3-Python and Its Environment
No ratings yet
Mod - 3-Python and Its Environment
39 pages
Unix Camp Compiling C
No ratings yet
Unix Camp Compiling C
33 pages
UNIT 4.docx-c++
No ratings yet
UNIT 4.docx-c++
15 pages
CIT 101 Practical 04 Final
No ratings yet
CIT 101 Practical 04 Final
4 pages
Namma Kalvi 12th Computer Science Chapter 5 and 6 Notes em 214847
No ratings yet
Namma Kalvi 12th Computer Science Chapter 5 and 6 Notes em 214847
8 pages
Namma Kalvi 12th Computer Science Chapter 5 and 6 Notes em 214847 PDF
100% (1)
Namma Kalvi 12th Computer Science Chapter 5 and 6 Notes em 214847 PDF
8 pages
Hyderabad Institute of Technology and Management Faculty Presentation
No ratings yet
Hyderabad Institute of Technology and Management Faculty Presentation
54 pages
Lab 4
No ratings yet
Lab 4
9 pages
Anastasia Kazakova - Debug C++ W-O Running C++ On Sea
No ratings yet
Anastasia Kazakova - Debug C++ W-O Running C++ On Sea
55 pages
Slide Set - 09
No ratings yet
Slide Set - 09
23 pages
Unit 1
No ratings yet
Unit 1
54 pages
28.1.2 Lab - Construct A Basic Python Script - ILM
No ratings yet
28.1.2 Lab - Construct A Basic Python Script - ILM
16 pages
PF Lecture 03
No ratings yet
PF Lecture 03
33 pages
C - Code Examples
No ratings yet
C - Code Examples
5 pages
Summary CPP
No ratings yet
Summary CPP
2 pages
28.1.2 Lab - Construct a Basic Python Script - ITExamAnswers
No ratings yet
28.1.2 Lab - Construct a Basic Python Script - ITExamAnswers
16 pages
C#.Net Lab Report
100% (1)
C#.Net Lab Report
30 pages
Codigos - Prac 1 - Diseño - Logico
No ratings yet
Codigos - Prac 1 - Diseño - Logico
7 pages
Class XI Session 2023-24 Half-Yearly Examination Informatics Practices (065)
No ratings yet
Class XI Session 2023-24 Half-Yearly Examination Informatics Practices (065)
3 pages
CS29206 Systems Programming Laboratory, Spring 2022-2023
No ratings yet
CS29206 Systems Programming Laboratory, Spring 2022-2023
4 pages
Unit 5 Introduction To C++
No ratings yet
Unit 5 Introduction To C++
27 pages
91 Computer Science (Set-2)
100% (1)
91 Computer Science (Set-2)
16 pages
Using Python Libraries
No ratings yet
Using Python Libraries
18 pages
Offline Assessment Ques
No ratings yet
Offline Assessment Ques
54 pages
01_C_and_C++
No ratings yet
01_C_and_C++
20 pages
Py PPT 01
No ratings yet
Py PPT 01
70 pages
Raghusir Notes
No ratings yet
Raghusir Notes
178 pages
VTU Exam Question Paper With Solution of BCS306A Object Oriented Programming With JAVA Jan-2024-Rajni Tiwari
No ratings yet
VTU Exam Question Paper With Solution of BCS306A Object Oriented Programming With JAVA Jan-2024-Rajni Tiwari
34 pages
Paper 2014
No ratings yet
Paper 2014
16 pages
Chapter1
No ratings yet
Chapter1
58 pages
ASSESSMENT - I: 2014-2015 Class: Xii Computer Science: General Instructions
No ratings yet
ASSESSMENT - I: 2014-2015 Class: Xii Computer Science: General Instructions
12 pages
Constructors
No ratings yet
Constructors
49 pages
2.introduction To Kotlin
No ratings yet
2.introduction To Kotlin
46 pages
Lab Report 2 (Muhammad Abdullah Zafar Ghauri ME-14 (C) CMS 405642
No ratings yet
Lab Report 2 (Muhammad Abdullah Zafar Ghauri ME-14 (C) CMS 405642
7 pages
Final Set
No ratings yet
Final Set
4 pages
C++ Programing
No ratings yet
C++ Programing
53 pages
Visual C# Programming
No ratings yet
Visual C# Programming
47 pages
Lesson04 - Exercises (PS11-12 Hoh Jungi)
No ratings yet
Lesson04 - Exercises (PS11-12 Hoh Jungi)
4 pages
03 Code Formatting
100% (1)
03 Code Formatting
27 pages
This Page Intentionally Left Blank
No ratings yet
This Page Intentionally Left Blank
19 pages
Unit 4
No ratings yet
Unit 4
22 pages
Algoritma & Pemrograman 02 Using Functions and Classes v1.2
No ratings yet
Algoritma & Pemrograman 02 Using Functions and Classes v1.2
27 pages
Compiler Module 0
No ratings yet
Compiler Module 0
6 pages
01 Intro
No ratings yet
01 Intro
21 pages
Mixed Language Programming
No ratings yet
Mixed Language Programming
43 pages
Programming in Python 4639304
50% (2)
Programming in Python 4639304
41 pages
C Meterial1
100% (3)
C Meterial1
113 pages
Computer Programming: Furqan Aziz
No ratings yet
Computer Programming: Furqan Aziz
30 pages
28.1.2 Lab - Construct a Basic Python Script (1)
No ratings yet
28.1.2 Lab - Construct a Basic Python Script (1)
15 pages
C Programming
From Everand
C Programming
Netra
No ratings yet
The Birth of Study Group 14 - Nicolas Guillemot, Sean Middleditch, Michael Wong - CppCon 2015
No ratings yet
The Birth of Study Group 14 - Nicolas Guillemot, Sean Middleditch, Michael Wong - CppCon 2015
44 pages
Simple Extensible Pattern Matching With C++14 - John Bandela - CppCon 2015
No ratings yet
Simple Extensible Pattern Matching With C++14 - John Bandela - CppCon 2015
118 pages
RCPP - Seamless R and C++ Integration - Matt P. Dziubinski - CppCon 2015
No ratings yet
RCPP - Seamless R and C++ Integration - Matt P. Dziubinski - CppCon 2015
137 pages
Reactive Stream Processing Rx4DDS - Sumant Tambe - CppCon 2015
No ratings yet
Reactive Stream Processing Rx4DDS - Sumant Tambe - CppCon 2015
51 pages
From Functional To Parallel - Stochastic Modelling in C++ - Kevin Carpenter - CppCon 2015
No ratings yet
From Functional To Parallel - Stochastic Modelling in C++ - Kevin Carpenter - CppCon 2015
64 pages
QT - Modern User Interfaces For C++ - Milian Wolff - CppCon 2015
No ratings yet
QT - Modern User Interfaces For C++ - Milian Wolff - CppCon 2015
43 pages
Functional Design Explained - David Sankel - CppCon 2015
No ratings yet
Functional Design Explained - David Sankel - CppCon 2015
43 pages
Easy Compilation From TouchDevelop To ARM Cortex-M0 Using C++11 - Jonathan Protzenko - CppCon 2015
No ratings yet
Easy Compilation From TouchDevelop To ARM Cortex-M0 Using C++11 - Jonathan Protzenko - CppCon 2015
20 pages
C++11, 14, 17 Atomics - The Deep Dive - Michael Wong - CppCon 2015
No ratings yet
C++11, 14, 17 Atomics - The Deep Dive - Michael Wong - CppCon 2015
69 pages
Benchmarking C++ Code - Bryce Adelstein Lelbach - CppCon 2015
No ratings yet
Benchmarking C++ Code - Bryce Adelstein Lelbach - CppCon 2015
79 pages
C++ On The Web - JF Bastien - CppCon 2015
No ratings yet
C++ On The Web - JF Bastien - CppCon 2015
24 pages
Contracts For Dependable C++ - Gabriel Dos Reis - CppCon 2015
No ratings yet
Contracts For Dependable C++ - Gabriel Dos Reis - CppCon 2015
35 pages
C++ Metaprogramming - Fedor Pikus - CppCon 2015
100% (1)
C++ Metaprogramming - Fedor Pikus - CppCon 2015
76 pages
Introducing Brigand - Edouard Alligand and Joel Falcou - CppCon 2015
No ratings yet
Introducing Brigand - Edouard Alligand and Joel Falcou - CppCon 2015
9 pages
C++ Multi-Dimensional Arrays For Computational Physics and Applied Mathematics - Pramod Gupta - CppCon 2015
No ratings yet
C++ Multi-Dimensional Arrays For Computational Physics and Applied Mathematics - Pramod Gupta - CppCon 2015
43 pages
Being Smart About Pointers - Michael VanLoon - CppCon 2015
No ratings yet
Being Smart About Pointers - Michael VanLoon - CppCon 2015
47 pages
Algorithmic Differentiation - C++ and Extremum Estimation - Matt P. Dziubinski - CppCon 2015
No ratings yet
Algorithmic Differentiation - C++ and Extremum Estimation - Matt P. Dziubinski - CppCon 2015
283 pages
C++ in The Telecom Industry - Yani Miguel - CppCon 2015
No ratings yet
C++ in The Telecom Industry - Yani Miguel - CppCon 2015
13 pages
Viewing The World Through Array-Shaped Glasses - Łukasz Mendakiewicz - CppCon 2014
No ratings yet
Viewing The World Through Array-Shaped Glasses - Łukasz Mendakiewicz - CppCon 2014
131 pages
The Implementation of Value Types - Lawrence Crowl - CppCon 2014
No ratings yet
The Implementation of Value Types - Lawrence Crowl - CppCon 2014
71 pages
Using C++ To Connect To Web Services - Steve Gates - CppCon 2014
No ratings yet
Using C++ To Connect To Web Services - Steve Gates - CppCon 2014
40 pages
Lock-Free by Example - Tony Van Eerd - CppCon 2014
No ratings yet
Lock-Free by Example - Tony Van Eerd - CppCon 2014
215 pages
Where Did My Performance Go - Fedor Pikus - CppCon 2014
No ratings yet
Where Did My Performance Go - Fedor Pikus - CppCon 2014
66 pages
The Canonical Class - Michael Caisse - CppCon 2014
No ratings yet
The Canonical Class - Michael Caisse - CppCon 2014
138 pages
Types Don't Know # - Howard Hinnant - CppCon 2014
No ratings yet
Types Don't Know # - Howard Hinnant - CppCon 2014
95 pages
Rebuilding Boost Date-Time For C++11 - Jeff Garland - CppCon 2014
No ratings yet
Rebuilding Boost Date-Time For C++11 - Jeff Garland - CppCon 2014
56 pages
Hardening Your Code - Marshall Clow - CppCon 2014
No ratings yet
Hardening Your Code - Marshall Clow - CppCon 2014
33 pages
How Facebook's HHVM Uses Modern C++ For Fun and Profit (Literally) - Drew Paroski - CppCon 2014
No ratings yet
How Facebook's HHVM Uses Modern C++ For Fun and Profit (Literally) - Drew Paroski - CppCon 2014
75 pages
STL Features and Implementation Techniques - Stephan T. Lavavej - CppCon 2014
No ratings yet
STL Features and Implementation Techniques - Stephan T. Lavavej - CppCon 2014
47 pages
Modernizing Legacy C++ Code - Gregory and McNellis - CppCon 2014
No ratings yet
Modernizing Legacy C++ Code - Gregory and McNellis - CppCon 2014
81 pages
PL2303RA USB To Serial Bridge Controller (With Built-In RS232 Transceiver) Product Datasheet
No ratings yet
PL2303RA USB To Serial Bridge Controller (With Built-In RS232 Transceiver) Product Datasheet
24 pages