C++ 显式字符/短？

Question

我想将一个字符传递给我的函数 (fn)。我不希望将整数和短裤类型转换到其中。所以我认为我应该将值隐式转换为 MyInt（仅支持 char）然后传递给 fn。这应该可以工作，因为 IIRC 在传递给函数时只允许一个类型转换（所以 char->MyInt 可以，而 int->char->MyInt 不应该）。

但是它看起来 int 和 char 都可以工作，所以我认为另一层间接（MyInt2）可以解决它。现在它们都不能传递给 fn... 有没有一种方法可以让我传递 chars 但不能传递 int？

#include <cstdio>
struct MyInt2{
    int v;
    MyInt2(char vv){v=vv;}
    MyInt2(){}
};
struct MyInt{
    MyInt2 v;
    MyInt(MyInt2 vv){v=vv;}
};
void fn(MyInt a){
    printf("%d", a.v);
}
int main() {
    fn(1);       //should cause error
    fn((char)2); //should NOT cause error
}

Answer 1

Function templates to the rescue:

template<typename T> void fn(T t);

void fn (char a){
    printf("%c", a);
}

如果有人尝试使用 char 以外的任何参数调用 fn，则函数模板将被选为匹配项，并且链接器将抱怨找不到合适的特化。

Answer 2

您可以使用多态性并定义多个版本，一个接受int，一个接受short，然后抛出异常或导致断言失败，或隐藏构造函数：

struct MyInt2{
    int v;
    MyInt2(char vv){v=vv;}
    MyInt2(short s) { throw "short"; } /* exception, runtime error */
    MyInt2(){}
    private:
    MyInt2(int v) { } /* hidden, compile time error */
};

Answer 3

您希望char 隐式转换为MyInt2，然后再转换为MyInt。但是语言规范不允许二级转换。

如果你想做一级隐式转换，那么C++11可以帮你。

在C++11中，你可以delete构造函数取int，允许取char的构造函数为：

struct MyInt{
    int v;

    MyInt(char vv) : v(vv) {} //use mem-initialization list

    MyInt(int) = delete;  //VALID only in C++11
};

注意带有int的deleted构造函数，它的意思是：

MyInt m1(10); //error - can't accept int!

MyInt m2((char)10); //okay - can accept char!

见Online Demo

事实上，你可以delete所有构造函数，除了一个将char作为的构造函数：

struct MyInt{
    //..
    MyInt(char vv); //ALLOW
 
    template<typename T>
    MyInt(T) = delete;  //DELETED the rest!
};

Demo

了解更多：

• Explicitly deleted special member functions

希望对您有所帮助。