Practical Meta Programming

Practical Meta-programming By Reggie Meisler

How it works in general ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Template mechanics ,[object Object],[object Object]

Template mechanics ,[object Object]

Template mechanics ,[object Object],MyClass<float> goes here MyClass<int> goes here MyClass<int*> goes here

How it works in general ,[object Object]

Type Traits ,[object Object],[object Object],[object Object]

Math ,[object Object],[object Object]

Fibonacci ,[object Object],[object Object]

Real-time vs Compile-time ,[object Object],[object Object],[object Object]

Fibonacci Table ,[object Object]

Fibonacci Table ,[object Object],[object Object],[object Object]

Using Fibonacci ,[object Object]

The Meta Tradeoff ,[object Object],[object Object],[object Object],[object Object]

Compile-time recursive function calls ,[object Object],[object Object]

Dot Product ,[object Object],Always take advantage of auto-type detection!

Dot Product ,[object Object],We can auto-determine the dimension based on size since T is a POD vector

Approximating Sine ,[object Object],[object Object],[object Object]

Approximating Sine ,[object Object]

Approximating Sine ,[object Object],Floats can’t be declared inside the template class Need radians for Taylor Series formula Our approximated result

Final Result: FastSine ,[object Object]

Tuples ,[object Object],[object Object]

Making a Tuple ,[object Object],This is what I mean by “recursively defined”

Tuple in memory Tuple<int, Tuple<float, Tuple<MyClass>>> data: int next: Tuple<float, Tuple<MyClass>> data: float next: Tuple<MyClass > data: MyClass next: NullType

Tuple<MyClass> Tuple<float, Tuple<MyClass>> Tuple<int, Tuple<float, Tuple<MyClass>>> data: int data: float data: MyClass NullType next next next

Better creation ,[object Object],Not the best solution, but simplifies syntax

Making a Tuple Pt 2 ,[object Object],But can we do something about this indexing mess? Better

Better indexing ,[object Object],It’s a good thing we made those typedefs Making use of template function auto-type detection again

Better indexing ,[object Object]

Delicious Tuple ,[object Object]

Tuple ,[object Object],[object Object],[object Object],[object Object]

SFINAE (Substitution Failure Is Not An Error) ,[object Object]

SFINAE (Substitution Failure Is Not An Error) ,[object Object],[object Object]

Does MyClass have an iterator? ,[object Object]

Nitty Gritty ,[object Object],[object Object],[object Object]

Nitty Gritty ,[object Object],[object Object]

Check for member function ,[object Object]

Practical Meta Programming

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (16)

Ähnlich wie Practical Meta Programming

Ähnlich wie Practical Meta Programming (20)

Practical Meta Programming