삭제 된 함수는 암시 적으로 인라인입니다.
(기존 답변에 대한 부록)
... 그리고 삭제 된 함수는 함수의 첫 번째 선언이어야합니다 (함수 템플릿의 명시 적 전문화를 삭제하는 것을 제외하고-삭제는 전문화의 첫 번째 선언에 있어야 함). 함수를 선언하고 나중에 삭제할 수 없음을 의미합니다. 정의에 따라 번역 단위에 국한됩니다.
인용 [dcl.fct.def.delete] / 4 :
삭제 된 함수는 암시 적으로 인라인입니다. ( 참고 : 1- 정의 규칙 ( [basic.def.odr] )은 삭제 된 정의에 적용됩니다. — 끝 주 ] 함수의 삭제 된 정의는 함수의 첫 번째 선언이거나 함수 템플릿의 명시 적 전문화 여야합니다. , 해당 전문화의 첫 번째 선언 [예 :
struct sometype {
sometype();
};
sometype::sometype() = delete; // ill-formed; not first declaration
— 최종 예 )
정의 가 삭제 된 기본 함수 템플릿을 특수화 할 수 있습니다.
일반적 으로 전문화는 과부하 해결의 첫 번째 단계에 참여하지 않기 때문에 기능 템플릿 특수화를 피하는 것이지만 유용한 컨텍스트가 있습니다. 예를 들어, 정의가없는 오버로드되지 않은 기본 함수 템플릿을 사용하여 변환과 일치하는 오버로드로 암시 적으로 변환되지 않는 모든 유형과 일치하는 경우 즉, 정의되지 않은 오버로드되지 않은 기본 함수 템플릿의 명시적인 특수화에서 정확한 형식 일치 만 구현하여 여러 개의 암시 적 변환 일치를 암시 적으로 제거합니다.
C ++ 11의 삭제 된 함수 개념 이전에는 기본 함수 템플릿의 정의를 생략하여이를 수행 할 수 있었지만 기본 함수 템플릿 작성자의 의미 론적 의도가 전혀 없었던 정의되지 않은 참조 오류가 발생했습니다 (의도적으로 생략되었습니다) ?). 대신 기본 함수 템플릿을 명시 적으로 삭제하면 적절한 명시 적 전문화를 찾을 수없는 경우의 오류 메시지가 훨씬 더 좋아지고 기본 함수 템플릿 정의의 생략 / 삭제가 의도적 인 것임을 나타냅니다.
#include <iostream>
#include <string>
template< typename T >
void use_only_explicit_specializations(T t);
template<>
void use_only_explicit_specializations<int>(int t) {
std::cout << "int: " << t;
}
int main()
{
const int num = 42;
const std::string str = "foo";
use_only_explicit_specializations(num); // int: 42
//use_only_explicit_specializations(str); // undefined reference to `void use_only_explicit_specializations< ...
}
그러나 위의 1 차 함수 템플리트에 대한 정의를 생략하고 명시적인 특수화와 일치하지 않는 경우 불명확 한 참조 오류가 발생하는 대신 1 차 템플리트 정의를 삭제할 수 있습니다.
#include <iostream>
#include <string>
template< typename T >
void use_only_explicit_specializations(T t) = delete;
template<>
void use_only_explicit_specializations<int>(int t) {
std::cout << "int: " << t;
}
int main()
{
const int num = 42;
const std::string str = "foo";
use_only_explicit_specializations(num); // int: 42
use_only_explicit_specializations(str);
/* error: call to deleted function 'use_only_explicit_specializations'
note: candidate function [with T = std::__1::basic_string<char>] has
been explicitly deleted
void use_only_explicit_specializations(T t) = delete; */
}
삭제 의도도 명확하게 보이는 더 읽기 쉬운 오류 메시지를 생성합니다 ( 정의되지 않은 참조 오류로 인해 개발자가이를 생각하지 못한 실수로 생각할 수 있음).
왜이 기술을 사용하고 싶습니까? 또, 명시 적 특수화는 것이 유용 할 수 암묵적으로 암시 적 변환을 제거합니다.
#include <cstdint>
#include <iostream>
void warning_at_best(int8_t num) {
std::cout << "I better use -Werror and -pedantic... " << +num << "\n";
}
template< typename T >
void only_for_signed(T t) = delete;
template<>
void only_for_signed<int8_t>(int8_t t) {
std::cout << "UB safe! 1 byte, " << +t << "\n";
}
template<>
void only_for_signed<int16_t>(int16_t t) {
std::cout << "UB safe! 2 bytes, " << +t << "\n";
}
int main()
{
const int8_t a = 42;
const uint8_t b = 255U;
const int16_t c = 255;
const float d = 200.F;
warning_at_best(a); // 42
warning_at_best(b); // implementation-defined behaviour, no diagnostic required
warning_at_best(c); // narrowing, -Wconstant-conversion warning
warning_at_best(d); // undefined behaviour!
only_for_signed(a);
only_for_signed(c);
//only_for_signed(b);
/* error: call to deleted function 'only_for_signed'
note: candidate function [with T = unsigned char]
has been explicitly deleted
void only_for_signed(T t) = delete; */
//only_for_signed(d);
/* error: call to deleted function 'only_for_signed'
note: candidate function [with T = float]
has been explicitly deleted
void only_for_signed(T t) = delete; */
}