C＆＃x2B;＆＃x2B;，模板与自动

Question

我正在为库工作，我必须推广一些功能，也就是说，这些功能需要处理传递的不同类型的数据作为参数。

例如：

   Class myClass
   { 
     public:
       int num;
       char mark;
       vector <bool> boolVector;
   }

    myClass cl;

    void myFunction(any/auto/T value, int operation)
    {
      switch(operation)
      {
        case A:
        { 
           cl.num = value; break;
        } 
        
        case B:
        {
           cl.mark = value; break;
        }
        
        case C:
        {
          for(int i = 0; i < 10; i++)
          {
             cl.vector.at(i) = value[i];
          } 
          
          break;
        }
      }
    }

我对两者之间的使用不确定：

• 有些
• 模板
• ：

显然是一个非常微不足道的示例，而我的代码过程中的实际功能更为复杂

谁

1. 是最快的？
2. 谁使用最多的记忆？
3. 谁是最常用的？
4. 您喜欢哪个，为什么？

Answer 1

tl; dr您可能应该重新考虑您的设计，

auto，模板参数或std ::任何真正适用于您的功能。

在这种情况下，auto和模板类型参数是同一件事。
这

void foo(auto value)
{
    // ...
}

只是速记的，

template <typename T>
void foo(T value)
{
    // ...
}

因为它们都是模板，因此在编译时可以解决。那就是foo（some_int）和foo（some_char）最终调用不同的 functions foo＆lt; int＆gt; and and <编译器从您编写的模板中生成的代码> foo＆lt; char＆gt; 。因此，没有运行时性能开销（除了增加可执行文件尺寸外）。这也意味着编译器可以进行类型检查，以确保您不会尝试使用无法做的对象做某事。这意味着给出任何类型的参数必须在函数的所有分支中有效；即使在运行时永远不会为给定类型的参数带它们。

---

std ::任何是完全不同的。 std ::任何是一个基于类型的包装类类，可以容纳任何类型的对象。此外，给定的std ::任何对象可以在其一生中从持有一种类型变为另一种类型。这意味着，如果您使用std ::任何，则编译器无法为您进行任何类型检查。类型检查只能在运行时完成，这意味着std ::任何使用相当麻烦，并且具有一定的运行时性能开销。它有其用途，但相当少，相当远。

---

如果可以的话，您可能应该将功能分为多个。例如：（

void myFunctionA(int num)
{
    cl.num = num;
}

void myFunctionB(char mark)
{
    cl.mark = mark;
}

void myFunctionC(std::vector<bool> boolVector)
{
    cl.boolVector = boolVector;
}

请注意，要警惕std :: vector＆lt; bool＆gt;，它不是一个真正的容器，在某些情况下表现出奇怪的行为）。