Всем привет. Потребовалось написать метапрограмку и стопорнулся на ровном месте. Суть: необходимо вычислить выражение sizeof("/какая-либо строка/").
Проблема возникает в том, что выражение-то вычисляется правильно, но та самая "/какая-либо строка/" присутствует в коде программы, а факт ее отсутствия является целью написания. Пробовал заменить выражение на константу - все ОК. Т.е. дело именно в sizeof.
Пишу для GCC из под Linux'а.
Так вот и возникает вопрос: что с этим можно сделать чтобы и вычисление длины проходило и строка в программе не присутствовала.

PS Может есть что другое, что работает схожим с sizeof образом?

Заранее благодарю.

Для строк есть strlen(const char*)

она заменяется на константу во время компиляции?
Мне нельзя использовать переменные.

Это сообщение отредактировал(а) fry - 19.11.2009, 00:57

fry, тут есть небольшие сложности в определении. Размер строки или ее длинна. Для строк char* длинна всегда меньше ее размера, поскольку не учитывает последний ноль. Но на самом деле размер может быть гораздо больше длинны, поскольку длинна определяется завершающим нулем, а он необязательно в конце выделенного участка памяти. Реальный размер буфера памяти знает только компилятор. Если указатель на строку совпадает с указателем на выделенную память (что не факт) и если строка выделена в куче, то размер выделенной памяти храниться примерно в -8мом байте (размер 4 байта), но это не стандартизировано и зависит от компилятора, так что на это неверно рассчитывать. Правильнее было бы использовать строки STL, для которых всегда известен и размердлина (size) и размер выделенной памяти (capacity).

Добавлено через 3 минуты и 55 секунд

А как же 

  Если строка не присутствует, то она переменная. Переменная не имеет фиксированного значения, поэтому ее размер нельзя знать на этапе компиляции.

Это сообщение отредактировал(а) Alexeis - 19.11.2009, 00:58

Интересует именно количество значимых символов (до завершающего нуля). Строка должна быть соптимизированна до результата, т.е. вместо этого выражения должна остаться константа, при этом самой строки в программе существовать не должно.
Общая концепция здесь.

Это сообщение отредактировал(а) fry - 19.11.2009, 01:12

Всегда ими пользуюсь и понимаю о чем вы говорите, однако необходимый результат далеко не факт что получится т.к. скорее всего для строки создается переменная и соптимизировать ее не получится, а также проблема будет в том, что результирующее значение не может быть lvalue, что, к сожалению, подтверждается исходя из типа возвращаемого значения методов строк из STL, т.к. мне его необходимо использовать при создании шаблона, а также сам факт вызова функции в данном контексте противоречит стандарту.

Это сообщение отредактировал(а) fry - 19.11.2009, 01:58

Пока пришло в голову только такое


С одной стороны работает, с другой нет. Дело в том, что провоцируя ошибку таким образом

компилятор сообщает, что не может найти подходящего вызова для const char[xxx], что подтверждает итак понятное.
Однако, sizeof возвращаемого значения первого приведенного мной варианта (без ошибки) выводит одно и тоже- 4.
Такое впечатление, что возвращается ссылка на тот самый const char[xxx].

Ничего не путаете?
результат
как видите, никаких строк нету.

Возвращается char*, sizeof чего вам и выдают (4)

fry, определить размер строки на этапе компиляции можно так:

Это кусок кода или весь? Подозреваю, что кусок т.к. у меня код существенно больше и присутствует код перед функцией main. Неважно, будем думать. Пес его знает как он оптимизирует. У меня этот sizeof был как параметр шаблона может это на что влияет, хотя врядли.

Если это вопрос ко мне - то весь
В чистом виде строка в sizeof не должна попасть в код, вообще. Видимо она была не только в sizeof   
Можно кусок кода, где это было?

Всем спасибо за ответы.


С таким выводом не поспоришь, ведь если есть интерес к длине строки, то ее содержание как видимо также небезинтересно.   



Спасибо за подсказку.
Уже пробовал, только реализовывал в классе. Эффект ноль.

Думаю вся проблема в присутствии указателей (константных) при передаче строки как параметра метода. Только вот перепробовав туеву хучу различных вариантов могу сказать, что компилятору в некоторых из них не помешало избавиться от нее в коде программы.

Есть идея передавать как boost::mpl::string, но синтаксис у них отвратительный в плане передачи больших строк. Или я чего-то недопонял.
Хотелось бы передать строку большого размера и обрабатывать ее таким образом, чтобы компилятор ее не вносил в код программы, т.к. сама по себе она не нужна.

"Доделал" пример bsa



Это сообщение отредактировал(а) Леопольд - 20.11.2009, 18:42

Спасибо за код.
В принципе, я уже проделывал похожий вариант, но, как и этот, он ни к чему ни привел. Думаю я просто поспешил с выводом насчет виновности sizeof.

Есть ли вообще варианты реализации подобия бустовского хранения строк из mpl с нормальной поддержкой строк большой длины. Просто, как я понял, он работает с ними с гарантией работы только во время компиляции, что для меня как раз принципиально важно.

мне кажется логичнее внутри структуры объявить енум вместо массива и тогда вместо sizeof(StaticLength...) будет StaticLength.value.