template<int Q, typename R, typename T> 
struct field
{ 
	static R fn(T *d) 
	{
		return * 0 ; // error
	}
};

template<int i, typename R, typename T> R Field( T& d) {return field<i, R, T >::fn(&d);}

struct data
{
	int a;
	int b;
	float f;
};


template < > 
struct field< 1 , int, data>{ 
	static int fn(data *d) {return d->a;}
}; 

template < > 
struct field< 2 , float, data>{ 
	static float fn(data *d) {return d->f;}
}; 

template < > 
struct field< 3 , int, data>{ 
	static int fn(data *d) {return d->b;}
}; 


void main()
{
	data d = { 1 , 2 , 3 .8787f};

	int i  =  Field< 6577753 , int>(d); // КОМПИЛИРУЕЦЦА !!!
	float j = Field< 2 , float>(d);
	int p   = Field< 3 , int>(d);
	// int q   = Field<4, int>(d); // НЕ КОМПИЛИРУЕЦЦА !!!
}