Czy "strlen()" w czasie kompilacji działa efektywnie?

Question

Czasami konieczne jest porównanie długości struny ze stałą.
Na przykład:

if (line.length() > 2) 
{ 
    // Do something... 
} 

Ale staram się unikać stałych „magiczne” w kodzie.
Zwykle używam takiego kodu:

if (line.length() > strlen("[]")) 
{ 
    // Do something... 
} 

Jest bardziej czytelne, ale nie efektywne ze względu na wywołaniu funkcji.
pisałem funkcje szablonów następująco:

template<size_t N> 
size_t _lenof(const char (&)[N]) 
{ 
    return N - 1; 
} 

template<size_t N> 
size_t _lenof(const wchar_t (&)[N]) 
{ 
    return N - 1; 
} 

// Using: 
if (line.length() > _lenof("[]")) 
{ 
    // Do something... 
} 

W kompilacji uwalniania (VisualStudio 2008) produkuje całkiem dobry kod:

cmp dword ptr [esp+27Ch],2 
jbe 011D7FA5 

I dobre jest to, że kompilator nie obejmuje "[]" łańcuch na wyjściu binarnym.

Czy jest to optymalizacja specyficzna dla kompilatora, czy też jest to typowe zachowanie?

Answer 1

Zdolność do wywoływania wywołania funkcji jest zarówno specyficzną dla kompilatora optymalizacją, jak i zachowaniem. Oznacza to, że wiele kompilatorów może to zrobić, ale nie są do tego wymagane.

Answer 2

Dlaczego nie

 
sizeof "[]" - 1; 

(minus "[]" jeden za null wleczonego Można zrobić sizeof - sizeof '\ 0', ale sizeof '\ 0' często sizeof (int). w C, a "- 1" jest doskonale czytelny )

Answer 3

#define TWO 2 
#define STRING_LENGTH 2 
/* ... etc ... */ 

Poważnie, dlaczego przejść przez to wszystko, aby uniknąć kłopotów po prostu wpisując 2.? Szczerze myślę, że sprawiasz, że twój kod jest mniej czytelny, a inni programiści będą wpatrywać się w ciebie tak, jakbyś parsknął używaną kawą z filtra.

Answer 4

Myślę, że większość kompilatorów zoptymalizuje go na , gdy włączone są optymalizacje. Jeśli są wyłączone, może spowolnić twój program o wiele bardziej niż to konieczne.

Wolałbym twoje funkcje szablonu, ponieważ gwarantują, że nie zadzwonią strlen w czasie wykonywania. Oczywiście, zamiast pisać oddzielne funkcje char i wchar_t można dodać kolejny szablon argumentu, i dostać funkcję, która działa dla każdego rodzaju:

template <typename Char_t, int len> 
int static_strlen(const Char_t (&)[N] array){ 
    return len/sizeof(Char_t) - 1; 
} 

(jak już wspomniano w komentarzach, to daje zabawne rezultaty jeśli przekazano tablicę intów, ale czy to możliwe? Dotyczy to w szczególności napisów)

Ostatnia uwaga, nazwa _strlen to bad. Wszystkie nazwy w zakresie przestrzeni nazw zaczynające się od podkreślenia są zarezerwowane dla implementacji. Ryzykujesz jakieś paskudne konflikty nazewnictwa.

Nawiasem mówiąc, dlaczego "[]" jest mniej magicznej stałej niż 2?

W obu przypadkach jest to literał, który należy zmienić, jeśli format ciągu jest porównywany ze zmianami.