C++:无法在使用条件类型的模板函数中使用类型为 'char*' 的左值初始化类型为 'double' 的参数

Question

我想编写一个模板函数来将数据从一个数组复制到另一个数组。我只想在我的程序中处理 int、double 和 char*(字符串)数组。

template<typename T>
void copy_key(T *destination, int destination_index, T *source, int source_index){
    if (typeid(T) == typeid(int) or typeid(T) == typeid(double)){
        destination[destination_index] = source[source_index];
    } else {
        // char* case
        strcpy(destination[destination_index], source[source_index]);
    }
}

如果我如下调用 copy_key()，我会得到错误:无法使用类型为“double”的左值初始化类型为“char*”的参数。

int main(int argc, const char * argv[]) {
    double from_array[3] = {1.0,2.0,3.0};
    double to_array[3];
    copy_key(to_array, 0, from_array, 2);
    std::cout << to_array[0] << std::endl;
    return 0;
}

我以为如果T是double，else block 就不会进入了。我的问题是如何在我的示例中正确使用模板类型的条件？

Answer 1

I thought if T was double, the else block would not be entered.

您的想法是正确的。但是您对其后果的假设并不正确。

仅仅因为一些代码不会被执行，并不意味着它和程序的其余部分不需要良构。

即使在这种情况下，编译器可能会证明该行不会被执行，但这种证明对于一般所有可能的程序来说实际上是不可能的，因此它不会影响程序的正确性。

典型的解决方案是使用重载或模板特化:

void copy_key(char *destination, int destination_index, const char *source, int source_index){
    strcpy(...);
}

void copy_key(double *destination, int destination_index, double *source, int source_index){
    destination[destination_index] ...
}

在即将到来的 C++17 中，将有 constexpr if 允许在单个函数中有条件地编译 block 。