C11 _Generic: как работать со строковыми литералами?

Вот решение:

#include <stdio.h>
#define foo(x) _Generic((0,x), char*: puts(x))

int main()
{
    foo("Hello, world!");
    return 0;
}

Это компилирует и производит:

$ clang t.c && ./a.out 
Hello, world!

Это несколько хромает, но я не нашел лучшего способа заставить x распадаться на указатель на char или сопоставлять его тип нечетким способом, который вам нужен, с Apple LLVM версии 4.2 (clang-425.0.28) (на основе ЛЛВМ 3.2СВН).

Согласно этой записи в блоге Йенса Густедта поведение GCC отличается (по-видимому, в GCC строки автоматически распадаются на указатель в контексте _Generic).

Кстати, в C типом строкового литерала является массив char, а не const char. Отклонение char [] как имя-типа в универсальной-ассоциации не является ошибкой компилятора:

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

Я нашел способ избежать хитрого трюка (0,x).

Если вы используете строковый литерал, тип — char[s] , где s — размер строкового литерала.

Как получить такой размер? Используйте оператор sizeof:

#include <stdio.h>

#define Test( x )   _Generic( ( x ) ,   char*: puts ,                   \
                                        const char*: puts ,             \
                                        const char[sizeof( x )]: puts , \
                                        char[sizeof( x )]: puts )( x )

int main(void) 
{

    char str[] = "This" ;
    Test( str ) ;

    Test( "works" ) ;

    char str2[10] = "!!!" ;
    Test( str2 ) ;

return 0;
}

Я попытался скомпилировать его с помощью clang и Pelles, и это сработало.

Единственная проблема, которую вам все еще нужно приводить к массивам переменной длины.

Попробовав еще немного, я нашел другой аналогичный способ сделать то, что сделал Pascal Cuoq, используя &* операторы:

#include <stdio.h>
#define foo(x) _Generic( ( &*(x) ), char*: puts , const char*: puts )( x )

int main()
{
    foo("Hello, world!");
    return 0;
}

Поведение Clang было неправильным< /strong> (отчет о дефекте C11 481) до 3.7.1. Ошибка была исправлена ​​в Clang 3.8.0, выпущенном 8 марта 2016 г..