std::is_same 对代码的性能有影响吗？

Question

is_same对代码性能有影响吗？ 我在我的代码中多次使用它来检查我是否必须使用std::less或std::greater并且根据它们我必须检索特定值。 我的测试是否足以证明 std::is_same 在我的情况下并没有真正影响代码的性能？

代码比这复杂得多，我必须使用模板。 我尽可能多地模仿使用is_same的地方。

我使用-O3编译器选项编译并运行了代码。

---

#include <iostream>
#include <vector>
#include <chrono> 

using namespace std::chrono; 
using namespace std;

template<typename T>
int returnVal(T compare) {
    std::vector<int> v = {1,2,3,4};
    if(std::is_same<T,std::greater<int>>::value) {
        return std::min(v[0], v[1], compare);
    } else {
        return std::min(v[2], v[3], compare);
    }
}

int returnValNoTemplate(bool b) {
    std::vector<int> v = {1,2,3,4};
    if(b == true) {
        return std::min(v[0], v[1]);
    } else {
        return std::min(v[2], v[3]);
    }
}


int main()
{   
    
    for(int i = 0; i < 10; i++) {
      auto start = high_resolution_clock::now(); 
      for(int i  = 0; i < 100000;++i) {
        int x = returnVal(std::greater<int>());
      }
    
      auto stop = high_resolution_clock::now();
      auto duration = duration_cast<microseconds>(stop - start); 
      cout <<"is_same duration:" <<  duration.count() << "\n" << endl; 
    
      auto start1 = high_resolution_clock::now(); 
      for(int i  = 0; i < 100000;++i) {
       int y = returnValNoTemplate(true);
      }
      auto stop1 = high_resolution_clock::now();
      auto duration1 = duration_cast<microseconds>(stop1 - start1); 
      cout <<"No template duration:" <<  duration1.count() << "\n" << endl; 
    }

    return 0;
}

---

R1： is_same 持续时间：4052 无模板持续时间：4041

R2： is_same 持续时间：3954 无模板持续时间：3950

R3： is_same 持续时间：3963 无模板持续时间：3973

R4： is_same 持续时间：4008 无模板持续时间：4048

R5： is_same 持续时间：3948 无模板持续时间：3998

R6： is_same 持续时间：4130 无模板持续时间：4036

R7： is_same 持续时间：3932 无模板持续时间：3948

R8： is_same 持续时间：4183 无模板持续时间：4088

R9： is_same 持续时间：4731 无模板持续时间：5062

R10： is_same 持续时间：4018 无模板持续时间：4887

---

#交换测试#

R1：无模板持续时间：5729 is_same 持续时间：5474

R2：无模板持续时间：3988 is_same 持续时间：4039

R3：无模板持续时间：3996 is_same 持续时间：4114

R4：无模板持续时间：4063 is_same 持续时间：4068

R5：无模板持续时间：3979 is_same 持续时间：4096

R6：无模板持续时间：4159 is_same 持续时间：4020

R7：无模板持续时间：3990 is_same 持续时间：4086

R8：无模板持续时间：4001 is_same 持续时间：4055

R9：无模板持续时间：4048 is_same 持续时间：4088

**R10：**无模板持续时间：4070 is_same 持续时间：4017

Answer 1

std:is_same 是一个编译时检查，它是用两个不同的模板足迹实现的。 一种带有 1 种类型，一种带有 2 种类型。

std::is_same<T, T> //If the compiler resolves to this it is the same type;
std::is_same<T, U> //If the compiler resolves to this it is 2 types;

该实现返回一个类型，然后转换为 bool，该类型解析为 true 或 false，为代码生成一条路径。