이 C4702 링크 타임 경고에 대한 해결 방법이 있습니까?

Question

boost :: variant를 사용 중이며 릴리스 모드에서 컴파일하는 데 문제가 있습니다. 경고 수준 4 및 경고를 VC2010에서 오류로 처리하고 있습니다. 아래의 코드는 디버그 모드에서 정상적으로 컴파일되지만 릴리스 모드에서는 링크 시간에 "Unreachable code"C4702 경고가 발생합니다 (최적화가 활성화되면 링크 타임 코드 생성이 있기 때문에 컴파일러 경고가 표시됩니다).

아무도이 상황에서 이러한 경고를 사용하지 못하도록 설정 했습니까? 가능한 경우 높은 경고 수준과 경고를 오류로 유지하는 것이 좋습니다.

#pragma warning(disable:4702) 

... 여기서는 효과가없는 것 같습니다. 여기에 몇 가지 예제 코드는 다음과 같습니다

#include <boost/variant.hpp> 

struct null{}; 
typedef boost::variant< null, double > variant_t; 

class addition_visitor 
: public boost::static_visitor<variant_t> 
{ 
public: 
    template< typename T, typename U > 
    variant_t operator()(const T&, const U&) const 
    { 
     throw("Bad types"); 
    } 

    variant_t operator()(const double& left, const double& right) const 
    { 
     return variant_t(left * right); 
    } 
}; 

int main(int /*argc*/, char** /*argv*/) 
{ 
    variant_t a(3.0), b(2.0); 
    variant_t c = boost::apply_visitor(addition_visitor(), a, b); 
    return 0; 
} 

경고는 내가 나쁜 변형 유형에 방문자를 적용하는 시도를 잡기 위해 사용하고 템플릿 기반 연산자()에 의해 트리거됩니다.

Answer 1

점심과 산책을 한 후, 불만족 스럽지만 기능적으로 해결되었습니다. 대신 내 방문자에서 변형을 반환하고 오류에 던지고, 나는 때문에, 성공은 부울 반환하고 결과를 저장 :

#include <boost/variant.hpp> 

struct null{}; 
typedef boost::variant< null, double > variant_t; 

class addition_visitor 
: public boost::static_visitor<bool> 
{ 
public: 
    template< typename T, typename U > 
    bool operator()(const T&, const U&) 
    { 
     //throw("Bad types"); 
     return false; 
    } 

    bool operator()(const double& left, const double& right) 
    { 
     result = variant_t(left * right); 
     return true; 
    } 

    variant_t result; 
}; 

int main(int /*argc*/, char** /*argv*/) 
{ 
    variant_t a(3.0), b(2.0); 
    addition_visitor v; 
    if(!boost::apply_visitor(v, a, b)) 
    { 
     throw("Bad types"); 
    } 

    variant_t c = v.result; 
    return 0; 
} 

Answer 2

왜 모든 템플릿 운영자 몸을 제공?

부스트를 사용할 수 없으므로 여기서는 확인해 볼 수 없지만 템플릿이있는 연산자에는 유형이 무엇이든 관계없이 모든 호출이 제대로 컴파일되고 그 다음에 던져 질 것입니다. 런타임시 오류.

템플릿 연산자의 본문을 그대로두면 두 개 이상의 다른 유형과 함께 사용할 때 단순히 연결을 거부합니다.

Answer 3

컴파일 타임 경고가 아니기 때문에 #pragma가 작동하지 않습니다.

해제 모드에서 경고를 억제 할 수 있습니다. 내가 믿는/무시 : xxxx 링커 명령 줄에서 트릭을 할 것입니다.

Answer 4

내가 비를 두 번 방법을 선언하고 구현을 제공하지 않으면 그때는 "확인되지 않은 외부"링커 오류가 .

템플릿 연산자 정의에 inline 지정자를 추가하십시오. 그런 다음 MSVC는 자체적으로 클래스 자체를 컴파일 할 필요가 없습니다. 따라서 unresolved external 대신 코드가이 템플릿을 사용하려고 할 때만 컴파일 타임 오류가 발생합니다. 내가 알기로 - 이것은 당신이 원하는 것입니다.

Answer 5

템플릿을 operator()(...)으로 설정하고 구현을 제공하지 않습니다. 그것은 링크 타임 대신에 컴파일 타임에 그것의 사용을 잡을 것이다.

Answer 6

Visual Studio 2012 MFC 프로젝트에서 매우 비슷한 문제가 발생했습니다. 동일한 경고가 > 헤더 파일에서 발생했으며 릴리스 링크 타임 코드 생성 중에도 발생했습니다.
미리 컴파일 된 헤더 파일 ("stdafx.)에 #pragma warning (disable : 4702)을 추가하여 해결했습니다.내 경우에는 시간 ", 단지 전) STL 헤더 파일을 #include 한.