阻止主数据类型C++的隐式转换

2022-02-25 00:00:00 implicit-conversion c++ c++11 c++17 c++14

blot:C++有隐式转换,我正在寻找阻止它的方法。

让我为下面的代码片段举一个相同的例子:

#include <iostream>

int incrementByOne(int i) {
    return ++i;
}

int main()
{
    bool b = true;
    
    std::cout << incrementByOne(b) << std::endl;

    return 0;
}

它将输出:2

如何防止此类隐式转换并严格要求即使在运行时也只将int作为参数?

我能想到的一种方法是重载函数。因此,新代码将如下所示:

#include <iostream>

int incrementByOne(int i) {
    return ++i;
}

int incrementByOne(bool) {
    std::cerr << "Please provide integer as argument" << std::endl;
    exit(0);
}

int incrementByOne(char) {
    std::cerr << "Please provide integer as argument" << std::endl;
    exit(0);
}

int main()
{
    bool b = true;
    
    std::cout << incrementByOne(b) << std::endl;

    return 0;
}

是否有其他(推荐)方法可以在运行时阻止隐式转换?


解决方案

您可以通过template<>delete运算符:

来完成此操作
#include <iostream>

int incrementByOne(int x) {
    return ++x;
}

template<class T>
T incrementByOne(T) = delete; // deleting the function

int main(void) {
    std::cout << incrementByOne(-10) << std::endl;
    std::cout << incrementByOne('a') << std::endl; // will not compile

    return 0;
}

之后,要传递给函数的参数必须是整数。

假设函数参数中给出了浮点值,则会出现错误:

main.cpp: In function 'int main()':
main.cpp:11:36: error: use of deleted function 'T incrementByOne(T) [with T = double]'
   11 |     std::cout << incrementByOne(3.5) << std::endl;
      |                                    ^

相关文章