Software Engineer
На днях официальный твиттер Sony Ericsson сообщил финальную стоимость и комплектацию флагманского смартфона компании XPeria X10. Устройство появится в продаже ближе к марту по цене… 24990 руб! За эти деньги мы получаем Android-смартфон с 4" дюймовым широкоформатным экраном, 1 ГГц процессором Qualcomm Snapdragon, 1 Гб ROM, 256 Мб RAM, 8 МПкс камеру с LED-вспышкой и автофокусом, 16 Гб MicroSD карту, стереогарнитуру и аккумуляторную батарею емкостью 1500 мА/ч.
Но ведь действительно, должна быть какая-то причина, по которой люди пишут программы на С++. Давайте вернемся в начало 90-ых, когда проходила стандартизация С++. Была предложена масса идей. Предложений было столько и они были настолько разные, что мне запомнилась цитата Джима Вальдо, который тогда работал в комитете по стандартизации: «Каждый, предлагающий добавить что-то в С++ должен приложить к заявке свою почку. Тогда никто не предложит больше двух идей, а к выбору этих двух он подойдёт невероятно ответственно.»
На Хабре недавно проскочила ещё одна статья про вычисления на шаблонах C++ от HurrTheDurr. В комментариях к ней лично я увидел вызов:#include <iostream>
#include <LC/kernel.h>
#include <LC/church_numerals.h>
int main()
{
// Представление натуральных чисел в виде лямбда-абстракций
typedef ChurchEncode<2> Two; // 2 = λfx.f (f x)
typedef ChurchEncode<3> Three; // 3 = λfx.f (f (f x))
// * = λab.λf.a (b f)
typedef Lambda<'a', Lambda<'b', Lambda<'f',
Apply<Var<'a'>, Apply<Var<'b'>, Var<'f'> > >
> > > Multiply;
// Вычисление (* 2 3)
typedef Eval<Apply<Apply<Multiply, Two>, Three>> Output;
// Переход обратно от лямбда-абстракций к натуральным числам
typedef ChurchDecode<Output> Result;
std::cout << Result::value;
}
ilammy@ferocity ~ $ gcc cpp.cpp
ilammy@ferocity ~ $ ./a.out
6
void f(Widget&& param);
Widget&& var1 = someWidget; // здесь “&&” означает rvalue ссылку
auto&& var2 = var1; // здесь “&&” НЕ означает rvalue ссылку
template<typename T>
void f(std::vector<T>&& param); // здесь “&&” означает rvalue ссылку
template<typename T>
void f(T&& param); // здесь “&&” НЕ означает rvalue ссылку
template <typename T, typename Container>
struct A
{
typedef Container<T> type;
};
Container сам по себе является шаблоном.
