C: interning строковых констант

С каких пор препроцессор стал частью C? Ну и соответственно по новой строке на каждое использование.

С каких пор препроцессор стал частью C?

Стандарт почитай.

Во-первых, давно. Во-вторых, препроцессор использован для показательности. Я могу много раз написать в коде «bar» «bar» «bar». Сколько их будет в памяти?

Гарантировано ли, что будет только одна копия строки в памяти - даже если я буду использовать foo несколько раз?

Нет. ISO/IEC 9899:1999, раздел 6.4.5 параграфы 5 и 6.

The multibyte character sequence is then used to initialize an array of static storage duration and length just sufficient to contain the sequence. <поскипано> It is unspecified whether these arrays are distinct provided their elements have the appropriate values. If the program attempts to modify such an array, the behavior is undefined.

Ну и в Annex J. Undefined behaviour это также упомянуто.

Со ссылками затрудняюсь. Но.

bash$ cat main.c 
#include <stdio.h>

#define bar "barbarian"
#define foo(i) const char *s##i = bar;

foo(1);
foo(2);
foo(3);

int main () {
	foo(4);
	foo(5);

	printf ("%s\n%s\n%s\n%s\n%s\n", s1,s2,s3,s4,s5);
	return 0;
};

bash$ gcc main.c 

bash$ ./a.out 
barbarian
barbarian
barbarian
barbarian
barbarian

bash$ strings a.out
/lib/ld-linux.so.2
__gmon_start__
libc.so.6
_IO_stdin_used
printf
__libc_start_main
GLIBC_2.0
PTRh0
0Y[]
[^_]
barbarian

bash$ gcc --version
gcc (Ubuntu 4.3.3-5ubuntu4) 4.3.3
Copyright (C) 2008 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Попробуйте скомпилировать и посмотреть, сколько раз будет встречаться foo в примере:

#include <stdio.h>
#include <string.h>
int main(){
char *a, b[] = "foo", *c = "foo";
printf("foo\n");
printf("%s, %s\n", b, c);
a = strdup("foo");
printf("%s\n", a);
c = strdup( b);
printf("%s\n", c);
}

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

И кстати — в с++, видимо из-за этой же фигни, строки нельзя использовать параметрами шаблона, что сильно досаждает.

grep -ao «foo»

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

прочти хотя бы

grep --help | grep binary

и

strings --help

Во, спасибо! А если не мультибайт?

> Народ, напомните, гарантирован ли interning строковых констант в С?

с99 не гарантирует, но разрешает компиляторам так поступать:

ISO/IEC 9899:1999

6.5.2.5 Compound literals

8 String literals, and compound literals with const-qualified types, need not designate distinct objects. (82)

________________________
(82) This allows implementations to share storage for string literals and constant compound literals with the same or overlapping representations.

Тогда - да, один раз всего встречается. Ман читать было лень :)

Супер. Что б я делал без лора?

А если не мультибайт?

Я так понимаю, что слово multibyte относится к sequence, а не к character.

> И кстати — в с++, видимо из-за этой же фигни, строки нельзя использовать параметрами шаблона, что сильно досаждает.

В свеженьком стандарте можно template<char... S>, что не совсем строка, но весьма похоже.