HLFX.Ru Forum - спор

1	template<typename T,int unused>

2	class valueHolder {

public:

4	valueHolder( T value ) : data( value ) {}

5	operator T () { return data; }

private:

  T data;

};

10	template<typename T>

11	class quadraticValue {

public:

13	quadraticValue( T value ) : data( value ) {}

14	quadraticValue<T> operator +( quadraticValue<T> &other ) { return data + other.data; }

private:

  T data;

};

19	template<typename T>

20	class linearValue {

public:

22	linearValue( T value ) : data( value ) {}

23	linearValue<T> operator +( linearValue<T> &other ) { return linearValue<T>( data + other.data ); }

24	quadraticValue<T> operator ( linearValue<T> &other ) { return quadraticValue<T>( data other.data ); }

private:

  T data;

};

29	typedef linearValue<valueHolder<float,1>> distance_t;

30	typedef quadraticValue<valueHolder<float,1>> area_t;

32	typedef linearValue<valueHolder<float,2>> weight_t;

33	typedef quadraticValue<valueHolder<float,2>> squaredWeight_t;

35	void foo( void )

37	// компилится

38	distance_t d1 = 1.0f;

39	distance_t d2 = 2.0f;

40	area_t a = d1 * d2;

42	// компилится

43	weight_t w1 = 1.0f;

44	weight_t w2 = 2.0f;

45	squaredWeight_t sw = w1 * w2;

47	// не компилится

48	area_t a2 = w1 * w2;

49	squaredWeight_t a3 = d1 * d2;

XaeroX

не получится, ты ж не можешь произвольные сочетания distance^x weight^y time^z делать. о, во -- смотри что нашёл -- вроде в буусте такое есть http://www.boost.org/doc/libs/1_54_...imensionExample

Да я знаю, что в буусте есть.
Я говорю о том, что если как следует подумать, можно и самому на шаблонах это реализовать.

XaeroX

ну шаблоны да, расовая штука, тут не поспоришь. жаль у меня у меня таки не было времени свою софтину на плюсах переписать, а то б эти буустовские штуки заюзал -- меньше б плюх лепил.

Дядя Миша
ну вот мне и странно было, что через такую жопу надо делать..

в фортране это красиво сделали:

1	outer: do i=1,100

2	inner: do j=1,1000

3	exit outer

4	enddo inner

5	enddo outer

thambs
То, что ты описал на фортране, как раз и решается с помощью goto.
Есть ещё вариант с sentinel цикла:

1	bool sentinel = true;

2	for ( int i = 0; i < 100 && sentinel; ++i )

3	for ( int j = 0; j < 1000 && sentinel; ++j ) {

4	sentinel = false; break;

Такое есть в JavaScript и, кажется, в джаве, выход по break и continue из вложенных циклов.
Но я боюсь, что со мной будет, если признаюсь в склонности к JavaScript'у

А что в C++ с каррированием и паттерн-матчингом, которые есть в демотиваторе? Тоже на шаблонах?

nemyax
Каррирование на шаблонах, а паттерн-матчинг - ну, в принципе, тоже можно на них, но вроде бы можно и просто с помощью наследования реализовать. Или даже с помощью typeid.

Но вообще говоря С++ - не функциональный язык.
То есть, лично я люблю элементы функциональщины (и шаблоны), но в меру. Мне важна императивная составляющая и возможность комбинировать подходы. Это плюсы позволяют идеально.

Добавлено 16-11-2013 в 02:34:

nemyax
Пожалуй, да - только частично-применёнными будут не функции, а функторы (но это без разницы). Только это всё compile-time фичи, компилируется потом всё вместе.

Кстати, нашёл тут в википедии, что луа поддерживает замыкания (синтаксис такой же как у похапе), а вот петон, судя по всему, нет.