C++ 연산자 오버로드 및 암시 적 변환

Question

고정 소수점 계산을 가정 해 봅시다. 일부 산술을 캡슐화하는 클래스가 있습니다. 나는 산술 연산자의 오버로드에 대한 생각을 좋아하므로 다음과 같이 씁니다.

class CFixed 
{ 
    CFixed(int ); 
    CFixed(float); 
}; 

CFixed operator* (const CFixed& a, const CFixed& b) 
{ ... } 

모두 작동합니다. 3 * CFixed (0) 및 CFixed (3) * 10.0f를 쓸 수 있습니다. 하지만 이제는 정수형 피연산자로 연산자 *를 구현하는 것이 훨씬 더 효과적이라는 것을 알게되었습니다.

CFixed operator* (const CFixed& a, int b) 
{ ... } 
CFixed operator* (int a, const CFixed& b) 
{ ... } 

그것은 여전히 ​​작동,하지만 지금 CFixed (0) * 10.0f 호출이 int로 플로트를 변환 버전을 오버로드 (나는 CFixed에 플로트를 변환하는 데 예상) : 그래서 나는 그것을 과부하. 물론 float 버전에도 과부하가 걸릴 수 있지만 코드가 조합 적으로 폭발적으로 증가한 것처럼 보입니다. 어떤 해결 방법이 있습니까 (또는 클래스를 잘못 디자인 했습니까?)? int를 사용하여 연산자의 오버로드 된 버전을 호출하도록 컴파일러에 지시 할 수 있습니까?

Answer 1

int뿐만 아니라 특수 버전을 선택한다고 가정 할 때 한 가지 할 수있는 것은 템플릿 함수로 제공하고 Boost.EnableIf를 사용하여 제거합니다. 피연산자가 정수형이 아닌 경우 사용 가능한 오버로드 집합에서 오버로드됩니다.

#include <cstdio> 
#include <boost/utility/enable_if.hpp> 
#include <boost/type_traits/is_integral.hpp> 

class CFixed 
{ 
public: 
    CFixed(int ) {} 
    CFixed(float) {} 
}; 

CFixed operator* (const CFixed& a, const CFixed& ) 
{ puts("General CFixed * CFixed"); return a; } 

template <class T> 
typename boost::enable_if<boost::is_integral<T>, CFixed>::type operator* (const CFixed& a, T ) 
{ puts("CFixed * [integer type]"); return a; } 

template <class T> 
typename boost::enable_if<boost::is_integral<T>, CFixed>::type operator* (T , const CFixed& b) 
{ puts("[integer type] * CFixed"); return b; } 


int main() 
{ 
    CFixed(0) * 10.0f; 
    5 * CFixed(20.4f); 
    3.2f * CFixed(10); 
    CFixed(1) * 100u; 
} 

당연히, 다른 조건을 사용하여 T = int 인 경우에만 해당 오버로드를 사용할 수있게하십시오. typename boost::enable_if<boost::is_same<T, int>, CFixed>::type ...

클래스를 디자인하는 데있어 템플릿에 더 의존 할 수 있습니다. 예를 들어 생성자가 템플릿 일 수 있으며 다시 필수 유형과 실수 유형을 구별해야하는 경우이 기술을 사용할 수 있어야합니다.

Answer 2

변환하는 방법은 무엇입니까 explicit?

Answer 3

단 하나의 인수로 호출 할 수있는 생성자가 있으면 암시 적 변환 연산자를 효과적으로 생성 할 수 있습니다. 귀하의 예에서는 CFixed이 필요한 곳이면 int과 float을 모두 전달할 수 있습니다. 컴파일러가 함수의 선언을 포함하는 것을 잊었을 때, 짖지 않고 잘못된 함수를 호출하는 코드를 자동으로 생성 할 수 있기 때문에 이는 물론 위험합니다.

그러므로 좋은 법칙에 따르면 하나의 인수만으로도 호출 할 수있는 생성자를 작성할 때 (이 인수는 두 개의 인수를 취하더라도 하나의 인수로도 호출 할 수 있습니다). 넌 암시 적 변환을 정말로 원하지 않는다면 그 생성자를 explicit으로 만들어야합니다. explicit 생성자는 암시 적 변환을 위해 컴파일러에서 사용되지 않습니다.

당신이 당신의 클래스를 변경해야 할 것입니다 : 나는이 규칙에 매우 몇 가지 예외가 있다는 것을 발견했다

class CFixed 
{ 
    explicit CFixed(int ); 
    explicit CFixed(float); 
}; 

. (std::string::string(const char*) 오히려 유명한 하나입니다.)

편집 : 미안 해요, 나는 int에서 float에 암시 적 변환을 허용하지에 대한 포인트를 놓쳤다.

내가 이것을 방지하기 위해 보는 유일한 방법은 float에 대한 연산자도 제공하는 것입니다.

Answer 4

sbi와 동의한다면, 반드시 단일 매개 변수 생성자를 명시 적으로 만들어야합니다.

당신은 그러나 당신이 템플릿을 작성하는 운영자 <> 기능에서 폭발을 방지 할 수 있습니다

template <class T> 
CFixed operator* (const CFixed& a, T b) 
{ ... } 

template <class T> 
CFixed operator* (T a, const CFixed& b) 
{ ... } 

이 무엇을 코드하는 기능에에 따라, 이것은 단지 당신이에서 변환 지원 유형으로 컴파일됩니다.

Answer 5

float 유형으로도 오버로드해야합니다. int에서 사용자 지정 유형 (CFixed)으로의 변환은 기본 제공 부동 소수점 변환보다 float에 우선 순위가 낮습니다.따라서 컴파일러는 과 함께 함수를 추가하지 않는 한 항상 int으로 함수를 선택합니다.

자세한 내용은 C++ 03 표준의 13.3 섹션을 참조하십시오. 고통을 느끼다.

나는 그것도 잊어 버린 것 같습니다. :-(UncleBens은 부동 소수점을 추가하는 것만으로도 double의 버전을 추가해야한다고보고 한 바 있습니다. 그러나 어떤 경우 든 내장형과 관련된 여러 연산자를 추가하는 것은 번거롭지 만 결합을 유발하지는 않습니다 부스트