C ++ 11에서 사용되지 않는 매개 변수

C ++ 03 및 이전 버전에서는 사용되지 않는 매개 변수에 대한 컴파일러 경고를 비활성화하기 위해 일반적으로 다음 코드를 사용합니다.

#define UNUSED(expr) do { (void)(expr); } while (0)

예를 들면

int main(int argc, char *argv[])
{
    UNUSED(argc);
    UNUSED(argv);

    return 0;
}

그러나 매크로는 C ++의 모범 사례가 아닙니다. C ++ 11 표준에 더 나은 솔루션이 있습니까? 매크로를 제거 할 수 있습니까?

모두 감사합니다!

나는 그 목적으로 빈 본문을 가진 함수를 사용했습니다.

template <typename T>
void ignore(T &&)
{ }

void f(int a, int b)
{
  ignore(a);
  ignore(b);
  return;
}

심각한 컴파일러가 함수 호출을 최적화하기를 기대하고 경고를 표시하지 않습니다.

매개 변수 이름을 생략 할 수 있습니다.

int main(int, char *[])
{

    return 0;
}

그리고 main의 경우 매개 변수를 모두 생략 할 수도 있습니다.

int main()
{
    // no return implies return 0;
}

C ++ 11 표준의 "§ 3.6 시작 및 종료"를 참조하십시오.

거기 <tuple>에 C ++ (11) 사용에 대한 준비를 포함, std::ignore의는 (런타임 오버 헤드를 부과하지 않고 가능성이 매우 높다) 쓰기 우리를 허용하는지, 객체 :

void f(int x)
{
    std::ignore = x;
}

이 경고를 "비활성화"하려면 인수 작성을 피하고 유형 만 작성하는 것이 가장 좋습니다.

void function( int, int )
{
}

또는 원하는 경우 주석 처리 :

void function( int /*a*/, int /*b*/ )
{
}

명명 된 인수와 명명되지 않은 인수를 혼합 할 수 있습니다.

void function( int a, int /*b*/ )
{
}

로 17 ++ C 당신이 [[maybe_unused] 속성 지정, 같은 :

void function( [[maybe_unused]] int a, [[maybe_unused]] int b )
{
}

동등한 것은 없습니다.

그래서 당신은 똑같은 오래된 옵션을 고수하고 있습니다. 매개 변수 목록에서 이름을 완전히 생략 할 수 있습니까?

int main(int, char**)

main물론 의 특정 경우에는 단순히 매개 변수 자체를 생략 할 수 있습니다.

int main()

GCC와 같은 일반적인 구현 관련 트릭도 __attribute__((unused))있습니다.

매크로는 이상적이지 않을 수 있지만 이러한 특정 목적에 적합합니다. 나는 매크로 사용을 고수하고 싶다.

구식 및 표준 방식에 대해 무엇을 가지고 있습니까?

void f(int a, int b)
{
  (void)a;
  (void)b;
  return;
}

새로운 것이 없습니다.

나에게 가장 적합한 것은 구현에서 매개 변수 이름을 주석 처리하는 것입니다. 이렇게하면 경고는 제거되지만 매개 변수가 무엇인지에 대한 일부 개념은 유지됩니다 (이름을 사용할 수 있으므로).

매크로 (및 기타 모든 Cast-to-void 접근 방식)에는 매크로를 사용한 후 실제로 매개 변수를 사용할 수 있다는 단점이 있습니다. 이로 인해 코드 유지 관리가 더 어려워 질 수 있습니다.

Boost 헤더 <boost/core/ignore_unused.hpp>(Boost> = 1.56)는이를 위해 함수 템플릿을 정의합니다 boost::ignore_unused().

int fun(int foo, int bar)
{
  boost::ignore_unused(bar);
#ifdef ENABLE_DEBUG_OUTPUT
  if (foo < bar)
    std::cerr << "warning! foo < bar";
#endif

  return foo + 2;
}

PS C ++ 17에는 [[maybe_unused]]사용하지 않는 엔티티에 대한 경고를 억제 하는 속성이 있습니다.

다른 디버그 빌드가있을 때 (예 : 어설 션을 활성화하여 빌드하려는 경우) 더 잘 제어 할 수 있기 때문에 매크로를 사용하는 것을 정말 좋아합니다.

#if defined(ENABLE_ASSERTS)
  #define MY_ASSERT(x) assert(x)
#else
  #define MY_ASSERT(x)
#end

#define MY_UNUSED(x)

#if defined(ENABLE_ASSERTS)
  #define MY_USED_FOR_ASSERTS(x) x
#else
  #define MY_USED_FOR_ASSERTS(x) MY_UNUSED(x)
#end

다음과 같이 사용하십시오.

int myFunc(int myInt, float MY_USED_FOR_ASSERTS(myFloat), char MY_UNUSED(myChar))
{
  MY_ASSERT(myChar < 12.0f);
  return myInt;
}

시간이 중요한 코드 세그먼트에 대한 자체 구현이 있습니다. 나는 느리게하기 위해 시간이 중요한 코드를 잠시 연구 해 왔으며이 구현은 내가 최적화 한 시간에 중요한 코드에서 약 2 %를 소비한다는 것을 발견했습니다.

#define UTILITY_UNUSED(exp) (void)(exp)
#define UTILITY_UNUSED2(e0, e1) UTILITY_UNUSED(e0); UTILITY_UNUSED(e1)
#define ASSERT_EQ(v1, v2) { UTILITY_UNUSED2(v1, v2); } (void)0

시간이 중요한 코드는 ASSERT*디버그 목적으로 정의를 사용 했지만 릴리스에서는 명확하게 잘라 냈지만 ...이 코드는 Visual Studio 2015 Update 3다음 에서 조금 더 빠른 코드를 생성하는 것 같습니다 .

#define UTILITY_UNUSED(exp) (void)(false ? (false ? ((void)(exp)) : (void)0) : (void)0)
#define UTILITY_UNUSED2(e0, e1) (void)(false ? (false ? ((void)(e0), (void)(e1)) : (void)0) : (void)0)

그 이유는 이중 false ?표현입니다. 어떻게 든 최대 최적화로 릴리스에서 약간 더 빠른 코드를 생성합니다.

왜 이것이 더 빠른지 모르겠지만 (컴파일러 최적화의 버그로 보임) 적어도 해당 코드 사례에 대한 더 나은 솔루션입니다.

참고 : 여기서 가장 중요한 것은 릴리스에서 위의 주장이나 사용하지 않는 매크로 없이 시간이 중요한 코드가 느려진다는 것 입니다. 즉, 이중 false ?표현식은 놀랍게도 코드를 최적화하는 데 도움이됩니다.

windows.h 는 UNREFERENCED_PARAMETER를 정의합니다 .

#define UNREFERENCED_PARAMETER(P) {(P) = (P);}

따라서 다음과 같이 할 수 있습니다.

#include <windows.h>
#include <stdio.h>
int main(int argc, char **argv) {
  UNREFERENCED_PARAMETER(argc);
  puts(argv[1]);
  return 0;
}

또는 Windows 외부 :

#include <stdio.h>
#define UNREFERENCED_PARAMETER(P) {(P) = (P);}
int main(int argc, char **argv) {
  UNREFERENCED_PARAMETER(argc);
  puts(argv[1]);
  return 0;
}