devxlogo

Covariant Template Parameters

Covariant Template Parameters

Suppose you need to define a function that takes a vector object and performs certain operations on it. The function has to be generic, that is, it should handle all instances of std::vector in the same way. The best way to achieve such generic behavior is by defining the function as a template whose parameter covaries with the vector’s parameter. In the following example, the insert_one() function template inserts a default-initialized element to a vector, regardless of the element’s type:

 #include using namespace std;// the parameter T of insert_one() covaries with vector's Ttemplate  void insert_one(vector &v){ T t=T(); // ensure built-in types are default-initialized v.push_back(t);}int main(){ vector  vi; vector  vc; insert_one(vi); insert_one(vc);}

See also  Professionalism Starts in Your Inbox: Keys to Presenting Your Best Self in Email
devxblackblue

About Our Editorial Process

At DevX, we’re dedicated to tech entrepreneurship. Our team closely follows industry shifts, new products, AI breakthroughs, technology trends, and funding announcements. Articles undergo thorough editing to ensure accuracy and clarity, reflecting DevX’s style and supporting entrepreneurs in the tech sphere.

See our full editorial policy.

About Our Journalist