Можно ли поставить стандартную, чистую директиву заголовка заголовка C внутри пространства имен?

Ответ 1

Нет, решение, которое вы рассматриваете, не допускается. На практике это означает, что вы меняете значение заголовочного файла. Вы изменяете все свои объявления, чтобы объявлять разные функции.

Эти измененные объявления не будут соответствовать фактическим именам стандартных функций библиотеки, поэтому при времени ссылки ни одна из стандартных функций библиотеки не будет разрешать вызовы функций, объявленных измененными объявлениями, если они не были объявлены extern "C" который разрешен, но не рекомендуется, для имен, которые поступают из стандартной библиотеки C.

ISO/IEC 14882: 2011 17.6.2.2/3 [using.headers] применяется к заголовкам стандартной библиотеки C, поскольку они являются частью стандартной библиотеки С++:

Единица перевода должна включать заголовок только за пределами любой внешней декларации или определения [*] и должна включать заголовок лексически до первой ссылки в этом блоке перевода для любого из объектов, объявленных в этом заголовке.

[*], который будет включать определение пространства имен.

Ответ 2

Почему бы не поставить класс журнала в его собственное пространство имен и использовать typedef namespace::log logger;, чтобы избежать конфликтов имен более удобным способом?

Ответ 3

Измените название своего класса. Не такая большая сделка.; -)

Серьезно, однако, не стоит добавлять имена в глобальное пространство имен, которые сталкиваются с именами из любого стандартного заголовка. С++ 03 явно не разрешал <cmath> определять ::log. Но реализации были хронически несоответствующими этому из-за практичности определения <cmath> поверх существующей <math.h> (и, возможно, также существующей библиотеки статической ссылки для некоторых заголовков, включая математику). Таким образом, С++ 11 ратифицирует существующую практику и позволяет <cmath> сбрасывать все в глобальное пространство имен. С++ 11 также резервирует все эти имена для использования с внешней связью "C" и всеми сигнатурами функций для использования с С++-связью, даже если вы не включаете заголовок. Но об этом позже.

Так как в С++ любой стандартный заголовок может определять имена из любого другого стандартного заголовка (т.е. им разрешено включать друг друга), это означает, что любой стандартный заголовок вообще может определить ::log. Поэтому не используйте его.

Ответ на ваш вопрос о различных реализациях заключается в том, что даже если ваша схема работает с самого начала (что не гарантируется), в какой-то другой реализации может быть заголовок, который вы используете (или хотите использовать в будущем в тот же TU, что и ваш класс журнала), который включает <cmath>, и что вы не дали обработку namespace math. Сверху моей головы <random> мне кажется кандидатом. Он обеспечивает целую кучу непрерывных распределений случайных чисел, которые, вероятно, могут быть реализованы встроенными с математическими функциями.

Я предлагаю Log, но тогда мне нравятся капитализированные имена классов. Отчасти потому, что они всегда отличаются от стандартных типов и функций.

Другая возможность состоит в том, чтобы определить ваш класс как прежде и использовать struct log вместо Log. Это не противоречит этой функции по причинам, которые становятся понятнее, если вы тратите слишком много времени на стандарты C и С++ (вы используете только Log как имя класса, а не как функцию, а не как имя с "C", поэтому вы не нарушаете зарезервированное имя. Несмотря на все проявления обратного, имена классов на С++ все еще хранятся в параллельном юниверсе от других имен, скорее, как теги struct на C).

К сожалению, struct log не является идентификатором простого типа, поэтому, например, вы не можете создать временный код с struct log(VERY_VERBOSE, TO_FILE). Чтобы определить простой тип-идентификатор:

typedef struct log Log;
Log(VERY_VERBOSE, TO_FILE); // unused temporary object

Пример того, что я говорю в комментарии ниже, на основе заявленного примера использования. Я думаю, что это действительно так, но я не уверен:

#include <iostream>
#include <cmath>
using std::log; // to enforce roughly what the compiler does anyway

enum Foo {
    foo, bar
};

std::ostream &log(Foo f) { return std::cout; }

int main() {
    log(foo) << log(10) << "\n";
}

Ответ 4

Это тоже уродливый хак, но я считаю, что это не вызовет проблем с компоновщиками. Просто переопределите имя журнала из <math.h>

 #define log math_log
 #include <math.h>
 #undef log

Это может вызвать проблемы с встроенными функциями из математики, используя этот журнал, но, возможно, вам повезет...

Math log() все еще доступен, но это непросто. Внутри функций, где вы хотите его использовать, просто повторите свое реальное объявление:

    int somefunc() {
        double log(double); // not sure if correct
        return log(1.1);
    }