Tên biến từ đối số mẫu?

Question

Có cách nào để tạo tên biến trong lớp dựa trên đối số template không?

template<class T, (someconstruct) t> 

class Item { 
    public:   
     T t; 
}; 

Item<float, "Position"> myItem; 

myItem.Position = 0.123f; 

như vậy mà những gì tôi đã khởi tạo là một biến kiểu T, với định danh t (nơi t được thông qua năm bởi các lập trình viên, tức là Position, vì vậy chúng tôi có một T gọi Position? Hoặc là này kéo dài khái niệm lập trình meta mẫu hơi xa quá? p

Answer 1

Không, bạn không thể thực hiện điều này với các mẫu. Các tên biến (được gọi là "định danh") không thể được thao tác bởi các mẫu.

Bất kể điều này có vẻ như là một ý tưởng tồi. Tại sao bạn muốn để thực hiện việc này?

Answer 2

Không, không phải với cú pháp đó, nhưng bạn có thể tạo một thiết lập tương tự với những gì bạn đang cố gắng để làm:

template < typename Field > 
struct field_value 
{ 
    typename Field::type value; 
}; 

template < typename Seq > 
struct funky_struct : boost::mpl::inherit_linearly 
    < 
    Seq 
    , boost::mpl::inherit 
    < 
     field_value< boost::mpl::placeholders::_2> 
    , boost::mpl::placeholders::_1 
    > 
    >::type 
{}; 

template < typename Field, typename Struct > 
typename Field::type & get(Struct & s) { return static_cast< field_value<Field>& >(s).value; } 

struct first_field { typedef int type; }; 
struct second_field { typedef char type; }; 

struct my_funky : funky_struct< boost::mpl::vector<first_field,second_field> > {}; 

... 
my_funky f; 
get<first_field>(f) = 23; 

tôi để lại cho phép xây dựng không mặc định cho bạn. Ngoài ra, với một số lượng nhỏ công việc này có thể được phản ánh và bạn có thể dính bất kỳ lượng thông tin hữu ích nào về các trường bên trong.

Answer 3

Điều gì đó giống như những gì bạn muốn đạt được có thể được thực hiện với kế thừa. Tức là, lớp cha có tên biến mà bạn muốn mẫu của bạn có.

struct ItemNull {}; 

template <typename X, typename Y = ItemNull> 
class Item : public X, public Y {}; 

template <typename T> struct HasPosition { T Position; }; 
template <typename T> struct HasMomentum { T Momentum; }; 

Item< HasPosition<float> > myItem1; 
myItem1.Position = 0.123f; 

Item< HasPosition<float>, HasMomentum<float> > myItem2; 
myItem2.Position = 0.1f; 
myItem2.Momentum = 0.2f; 

Đối số thứ hai tùy chọn cho phép bố cục, như minh họa trong myItem2. Để thêm một lĩnh vực thứ ba, bạn có thể thêm vào phần đuôi, hoặc mở rộng từ phía trước:

template <typename T> struct HasName { T Name; }; 

Item < 
    HasPosition<float>, 
    Item< HasMomentum<float>, HasName<std::string> > 
> myItem3; 
myItem3.Position = 0.1f; 
myItem3.Momentum = 0.2f; 
myItem3.Name = "Adam"; 

Item < 
    Item < HasPosition<float>, HasMomentum<float> >, 
    HasName<std::string> 
> myItem4; 
myItem4.Position = 0.1f; 
myItem4.Momentum = 0.2f; 
myItem4.Name = "Adam"; 

sở thích cá nhân của tôi là dành cho cựu trong hai phương pháp, bởi vì tôi thấy nó là một cách trực quan hơn để mở rộng nó vượt quá 3 lĩnh vực. Cú pháp mẫu Item có thể được đơn giản hóa bằng cách sử dụng các đối số mẫu variadic.

Mẫu Has... có thể được tạo bằng máy hoặc macro có thể được tạo để thêm trường mới một nhiệm vụ tương đối đơn giản.

#define MAKE_HAS(X) template <typename T> struct Has##X { T X; } 

MAKE_HAS(Position); 
MAKE_HAS(Momentum); 
MAKE_HAS(Name);