जब तर्क एक सरणी है तो सी ++ कैसे शुरू होता है और समाप्त होता है?

Question

सी ++ प्राइमर में एक समस्या, वेक्टर पर शुरू होने और समाप्त होने पर मुझे पता है कि वेक्टर :: आकार() मदद कर सकता है, लेकिन जब मैं सिर्फ सरणी तर्क देता हूं तो वे कैसे काम करते हैं। जैसे:

int arr[] = {1, 2, 3}; 
size = end(arr) - begin(arr); 

कैसे अंत (आगमन) करते हैं और शुरू (आगमन) सही ढंग से काम?

Answer 1

से कोड का एक टुकड़ा चस्पा करेंगे तो हम How does std::end know the end of an array? देख सकते हैं कि कैसे काम करता है std::end देख सकते हैं और देखते हैं कि std::end के लिए हस्ताक्षर है:

template< class T, std::size_t N > 
T* end(T (&array)[N]); 

और यह सरणी के आकार को कम करने के लिए टेम्पलेट गैर-प्रकार पैरामीटर का उपयोग कर रहा है और यह अंत प्राप्त करने के लिए पॉइंटर अंकगणित का मामला है:

return array + N ; 

std::begin के लिए हस्ताक्षर समान है, नाम के अपवाद के साथ:

template< class T, std::size_t N > 
T* begin(T (&array)[N]); 

और गणना सरणी की शुरुआत बस array to pointer decay की बात है जो हमें के पहले तत्व के लिए सूचक देता है सरणी।

सी ++ 14 में ये दोनों कॉन्स्टेक्स बन गए।

Answer 2

मैं सिर्फ here

template <class _Tp, size_t _Np> 
inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 
_Tp* 
begin(_Tp (&__array)[_Np]) 
{ 
    return __array; 
} 

template <class _Tp, size_t _Np> 
inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 
_Tp* 
end(_Tp (&__array)[_Np]) 
{ 
    return __array + _Np; 
}