pythonで import time の在り処がどこにあるのかわからない。

Question

こんにちわ。
すごく単純な質問かもしれませんが、pythonで import time と入力します。
エラーもなく当然実行できます。

ここで気になるのが time はどこにあるのかわからないのです。
おそらくPATHを通じて自動的に見つかるようになっていると思われますが
検索してもみつからないです。

どう仕組みで動いているのか教えてください。
ソースは以下の通り。

#!/usr/bin/env python

-- coding: utf-8 --

import time
import wiringpi

pin = 4
WAIT_TIME = 5

wiringpi.wiringPiSetupGpio() # wiringpiの初期化
wiringpi.pinMode(pin, wiringpi.OUTPUT) # pinを出力モードに
wiringpi.digitalWrite(pin, wiringpi.HIGH) # LED点灯
time.sleep(WAIT_TIME) # プログラム休止
wiringpi.digitalWrite(pin, wiringpi.LOW) # LED消灯

Answer 1

timeモジュールはPython（インタプリタ）内部に標準モジュールとして組み込まれています。よって、ファイル検索などしても見つかりません。
標準モジュールの一覧はsys.builtin_module_namesで確認表示できます。

標準モジュール以外であれば__file__でモジュール（パッケージ）ファイルパスが確認できます。
参考：Python Tips：ライブラリ・モジュールの場所を調べたい

import sys
print(sys.builtin_module_names)
import os
print(os.__file__)
import http
print(http.__file__)

結果例

('_ast', '_bisect', '_codecs', '_codecs_cn', '_codecs_hk', '_codecs_iso2022', '_codecs_jp', '_codecs_kr', '_codecs_tw', '_collections', '_csv', '_datetime', '_functools', '_heapq', '_imp', '_io', '_json', '_locale', '_lsprof', '_md5', '_multibytecodec', '_opcode', '_operator', '_pickle', '_random', '_sha1', '_sha256', '_sha512', '_signal', '_sre', '_stat', '_string', '_struct', '_symtable', '_thread', '_tracemalloc', '_warnings', '_weakref', '_winapi', 'array', 'atexit', 'audioop', 'binascii', 'builtins', 'cmath', 'errno', 'faulthandler', 'gc', 'itertools', 'marshal', 'math', 'mmap', 'msvcrt', 'nt', 'parser', 'sys', 'time', 'winreg', 'xxsubtype', 'zipimport', 'zlib')
C:\Program Files\Anaconda3\lib\os.py
C:\Program Files\Anaconda3\lib\http\__init__.py

Comments

[eisaku123]

早い回答ありがとうございます。
すみません
さらに質問ですが、OS や http.server　は標準モジュールなのでしょうか？

上記の結果例には出力されてませんが、、、

下記のサイトには標準ライブブラリ関係としてのってますので、区別がつくなくて頭の中で整理仕切れないです。
https://docs.python.jp/3/library/http.server.html
ご教授願い願います。

#!/usr/bin/env python
# -*- coding: utf-8 -*-
from http.server import BaseHTTPRequestHandler, HTTPServer
import os, time
import wiringpi #tuika
# グローバル変数
_application = None
_server = None

class Handler(BaseHTTPRequestHandler):
""" HTTPリクエストを処理するクラス """

def do_GET(self):
""" GETメソッドによるHTTPリクエストを処理する関数 """
print('do_get')
print(self.command)
print(self.path)
global _application
print(_application)
　　　　　・
　　　　　・
　　　　　・
　　　　　・

[can110]

標準(built-in)モジュールではありません。パスの確認方法について追記しました。